GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ HOL-Theorem-Prover
1 open source projects by HOL-Theorem-Prover
[ Open user page on Github ]
1.
Hol
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
✭ 414
lambda-calculus
1-1
of
1
user projects