Coqtail

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎2 ‎Votos

acerca de Coqtail

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