Lobsters
- Cubical 1lab: A formalised, cross-linked reference resource for mathematics done in HoTT https://cubical.1lab.dev 2 comments math , plt
Linked pages
- KaTeX – The fastest math typesetting library for the web https://katex.org/ 263 comments
- TeX Live - TeX Users Group https://www.tug.org/texlive/ 166 comments
- The JuliaMono Typeface https://juliamono.netlify.app/ 121 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Poppler https://poppler.freedesktop.org/ 17 comments
- quiver: a modern commutative diagram editor https://q.uiver.app/ 7 comments
- http://index.html 6 comments
- https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html 6 comments
- Google Fonts: EB Garamond https://fonts.google.com/specimen/EB+Garamond 3 comments
- CSCI 8980 Higher-Dimensional Type Theory https://favonia.org/courses/hdtt2020/ 0 comments