/HOL

Not-Canonical sources for HOL4 theorem-proving system. Branch k14 is the kananaskis-14 with my fixes.

Primary LanguageStandard MLOtherNOASSERTION

This repository is not active