Coqtail

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎2 ‎Oy

Hakkı -nda Coqtail

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