5 repos
TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans…
193
5,641 commits
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
1,272
1,913 commits
leanprover-community/physlib
A project to digitalise results from physics into Lean.
749
3,452 commits
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
339
1,393 commits
Vilin97/lean-pool
No description
96
1,094 commits
