HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverCanonical 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.
Stars
756
Forks
173
Language
Standard ML
License
NOASSERTION
Last push
21 hours ago
Related intel (0)
No related intel yet
This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.