coqide

6गर्मी

1उत्तर

ssreflect

के लिए Coqide loadpath त्रुटि मैं एक Coq नौसिखिया हूँ और इसलिए सबूत जांच की मेरी समझ में सुधार करने के लिए मैं Ssreflect पुस्तकालय का उपयोग करने की कोशिश कर रहा हूँ। मैंने मैक ओएस बनाम 10.10.3 (योसमेट

coq coqide 2015-06-11

---