सॉफ्टवेयर सबमिट करें

द्वारा कार्यक्रम coqtail.sf.net

  • Coqtail मुफ्त

    COQ प्रमेय, सार और कार्यान्वयन (स्नातक स्तर) Coqtail Coq प्रूफ सहायक का उपयोग कर गणितीय सबूत की एक पुस्तकालय है ।