A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.
Rust Updated 5 days ago 1 commits 22 stars
pulse-dev|Mirror: h5i-dev/MiniLean4 (⭐22)
5 days agoAbout
A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.
Readme
22 stars
5 forks