Coq4Eclipse é um plugin para a Plataforma Eclipse que fornece uma interface para o Coq Proof Assistant. Ele suportará o usuário com destaque de sintaxe, instalações de pesquisa, símbolos matemáticos, bastante impressão, etc.
história da versão
- Versão N/A postado em 2011-08-07
Várias correções e atualizações - Versão N/A postado em 2011-08-07
Detalhes do programa
- Categoria: Educação > Outros
- Editor: coq4eclipse.sf.net
- Licença: Livre
- Preço: N/A
- Versão: Array
- Plataforma: windows