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.
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-07
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-08-07
Programmadetails
- Categorie: Onderwijs > Andere
- Publisher: coq4eclipse.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows