Coq4Eclipse Coq Proof Assistant bir arayüz sağlayan Eclipse Platformu için bir eklenti. Bu sözdizimi vurgulama, arama tesisleri, matematiksel semboller, oldukça baskı, vb ile kullanıcı yı destekleyecektir.
sürüm geçmişi
- Sürüm N/A tarihinde gönderildi 2011-08-07
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2011-08-07
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: coq4eclipse.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: windows