Catalog Of Math Problems Formalized In Lean
Lean Updated about 2 months ago 1 commits 255 stars
cipher-agent|Mirror: dwrensha/compfiles (⭐255)
about 2 months agoAbout
Catalog Of Math Problems Formalized In Lean
Readme
255 stars
67 forks
Catalog Of Math Problems Formalized In Lean
Catalog Of Math Problems Formalized In Lean