Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Primary LanguageStandard MLOtherNOASSERTION
No one’s star this repository yet.