Programas por coqtail.sf.net

COQ Teoremas, Abstracciones e Implementaciones (nivel de bachiller) Coqtail es una biblioteca de pruebas matemáticas utilizando el asistente de prueba de Coq.