HOL-Theorem-Prover/HOL
PublicCanonical 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.
Stars77124h gain0Score0.3
Search
Find trending repositories by name or description.
1 results for “theorem-proving”
RankRepositoryStars24h gainScore