COQ प्रमेय, सार और कार्यान्वयन (स्नातक स्तर) Coqtail Coq प्रूफ सहायक का उपयोग कर गणितीय सबूत की एक पुस्तकालय है ।
संस्करण इतिहास
- विवरण files पर तैनात 2010-04-07
कई सुधार और अपडेट - विवरण N/A पर तैनात 2010-04-07
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: coqtail.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows