Back
Repo
Masters
English
EN
Home
/
lean-forward
GitHub repos by lean-forward
1 public repo by lean-forward in the catalog, most starred first.
lean-forward/logical_verification_2025
★ 172
Stars: 172
Lean
░
Prototype
See lean-forward on GitHub