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
- Categoría: Educación > Otro
- Editor: coqtail.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows