Programy według coq4eclipse.sf.net

Coq4Eclipse to wtyczka dla platformy Eclipse, która zapewnia interfejs do Coq Proof Assistant. Będzie wspierać użytkownika z podświetlaniem składni, wyszukiwarkami, symbolami matematycznymi, ładnym nadrukiem itp.