Programas por coq4eclipse.sf.net

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.