Coqtail

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

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

historial de versiones

  • Versión files publicado en 2010-04-07
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-04-07

Detalles del programa