-
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedJun 3, 2026 -
-
polyml Public
Forked from digama0/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedMay 14, 2026 -
-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical 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.
Standard ML Other UpdatedDec 16, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedDec 9, 2025 -
hol-webpages Public
Forked from HOL-Theorem-Prover/hol-webpagesWebpages for the HOL4 website (currently at hol-theorem-prover.org)
HTML UpdatedOct 27, 2025 -
heaplang-lazy-list-based-set Public
Verifying a Lazy Concurrent List-Based Set Algorithm in Iris
-
parallel-lsst Public
Forked from YBaumann/ParallelLSSTParallel implementation for finding low-stretch spanning trees.
C++ MIT License UpdatedFeb 24, 2024 -
functional-pbd Public
Program synthesis in the visual programming environment Algot.
Python GNU General Public License v3.0 UpdatedApr 10, 2023
{{ message }}