4 repos
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
1,257
1,913 commits
leanprover-community/physlib
A project to digitalise results from physics into Lean.
733
3,452 commits
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
333
1,393 commits
Vilin97/lean-pool
No description
94
1,094 commits
