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.
7 daysStars77124h gain0Score0.3
Search
Find trending repositories by name or description.
1 results for “theorem-prover”
RankRepository7 daysStars24h gainScore