Programas por coq4eclipse.sf.net

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.