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