Programma's van coq4eclipse.sf.net

Coq4Eclipse is een plugin voor het Eclipse Platform die een interface biedt aan de Coq Proof Assistant. Het zal de gebruiker ondersteunen met syntaxismarkering, zoekfaciliteiten, wiskundige symbolen, pretty-print, enz.