Programas por coq4eclipse.sf.net

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.