vierkantor / lftcm2020 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/lftcm2020
Lean for the Curious Mathematician 2020
Home Page: https://leanprover-community.github.io/lftcm2020/
License: MIT License