I'm YijunYuan, a Ph.D. student at Yau Mathematical Sciences Center, Tsinghua University. I am interested in
yijunyuan / mathematics_in_lean Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.