HOL Theorem Proving System
Results
1
repositories owned by
HOL Theorem Proving System
HOL
597
Stars
129
Forks
Watchers
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.
