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