Coq4Eclipse é um plugin para a Plataforma Eclipse que fornece uma interface ao Assistente coq proof. Irá suportar o utilizador com prostax, instalações de pesquisa, símbolos matemáticos, impressão bonita, 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: Grátis
- Preço: N/A
- Versão: Array
- Plataforma: windows