HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverHOL4 प्रमेय-प्रमाण प्रणाली के लिए कैनोनिकल स्रोत। 'develop' ब्रांच में मुख्य विकास होता है; जब यह रिग्रेशन टेस्ट पास कर लेता है, तो इसे 'master' ब्रांच में मर्ज कर दिया जाता है।
स्टार
757
फ़ोर्क
173
भाषा
Standard ML
लाइसेंस
NOASSERTION
आख़िरी push
7 घंटे पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।