Jonathan Prieto-Cubides
Experience
/
Projects
/
Publications
/
Education
/
Other
/
CV
☼
☾
Other
PLT notebook
HoTT cheatsheets
DP compendium