apurvnakade

Northwestern UniversityEvanston, IL

Pinned Repositories

symmetries-and-polynomials
symmetries and polynomials mathcamp class
Language:TeX0 1 00
HugoTheme
A Hugo theme I designed for my blog at https://apurvnakade.github.io/blog/
Language:JavaScript1 1 00
Introduction-to-Optimization
Language:R1 1 01
lean-playground
Language:Lean10
apurvnakade.github.io
Personal Website
Language:HTML0 1 00
linear-algebra
PreTeXt Files for Linear Alegbra Textbook
Language:TeX0 0 00
lean-at-MC2020
Language:Lean6 0 07
lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean63 16 6277
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.6k 39 419341

apurvnakade's Repositories

apurvnakade/apurvnakade.github.io
Personal Website
Language:HTML0 1 00
apurvnakade/linear-algebra
PreTeXt Files for Linear Alegbra Textbook
Language:TeX0 0 00