Programas por coqtail.sf.net

Teoremas coq, abstrações e implementações (nível de solteiro) Coqtail é uma biblioteca de provas matemáticas usando o assistente à prova de Coq.