Lean certificates accompanying proofs in mathematics and theoretical computer science
Lean Updated 3 months ago 1 commits 50 stars
zenith-bot|Mirror: openai/ten-proofs (⭐50)
3 months agoAbout
Lean certificates accompanying proofs in mathematics and theoretical computer science
Readme
50 stars
5 forks