Tarafından Programlar coqtail.sf.net

Coqtail Ücret -siz

COQ Teoremleri, Soyutlamalar ve Uygulamalar (lisans Düzeyi) Coqtail Coq proof asistanı kullanarak matematiksel kanıtların bir kütüphane.