Community-written solutions to An Infinitely Large Napkin and other mathematics textbooks, typeset in Typst.
Evan Chen · 12 chapters
Tom Leinster · 1 chapter
Allen Hatcher · 1 chapter
The Univalent Foundations Program · 4 chapters