![](/statics/img/blank.png)
Coq4Eclipse
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 3.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Coq4Eclipse
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.