Programmi di coqtail.sf.net

Coqtail è una libreria di dimostrazioni matematiche che utilizza l'assistente di dimostrazione Coq.