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.
historia wersji
- Wersja N/A opublikowany na 2011-08-07
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2011-08-07
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: coq4eclipse.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows