Programmi di coq4eclipse.sf.net

Coq4Eclipse è un plugin per eclipse platform che fornisce un'interfaccia all'Assistente prove Coq. Supporterà l'utente con evidenziazione della sintassi, strutture di ricerca, simboli matematici, pretty-print, ecc.