![](/statics/img/blank.png)
Coq4Eclipse
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Coq4Eclipse
Coq4Eclipse es un plugin para Eclipse Platform que proporciona una interfaz al Coq Proof Assistant. Apoyará al usuario con resaltado de sintaxis, facilidades de búsqueda, símbolos matemáticos, bonita impresión, etc.