Interactive Theorem Proving course using HOL4
Primary LanguageStandard ML
No issues in this repository yet.