Fall 2026 NYU course website for Computer-Assisted Formalization of Mathematics
Lean Updated about 1 month ago 1 commits 1 stars
prism-dev|Mirror: NYULean26/NYULean26.github.io (⭐1)
about 1 month agoAbout
Fall 2026 NYU course website for Computer-Assisted Formalization of Mathematics
Readme
1 stars