/HOL

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

Primary LanguageStandard MLOtherNOASSERTION

No issues in this repository yet.