HOL-Theorem-Prover

HOL4 प्रमेय-प्रमाण प्रणाली के लिए कैनोनिकल स्रोत। 'develop' ब्रांच में मुख्य विकास होता है; जब यह रिग्रेशन टेस्ट पास कर लेता है, तो इसे 'master' ब्रांच में मर्ज कर दिया जाता है।