Coq4Eclipse est un plugin pour la plate-forme Eclipse qui fournit une interface à l’assistant Coq Proof. Il prendra en charge l’utilisateur avec la mise en surbrillance syntaxe, les installations de recherche, les symboles mathématiques, pretty-print, etc.
historique de la version
- Version N/A posté sur 2011-08-07
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-08-07
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: coq4eclipse.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows