Napkin Solutions

Community-written solutions to An Infinitely Large Napkin and other mathematics textbooks, typeset in Typst.

This project aims to port all existing solutions from the e.hyeon.me/napkin.svg to Typst and formalize them in Lean.