These are the source files for Evan Chen's An Infinitely Large Napkin. You can read about the project on my webpage.
An Infinitely Large Napkin is a light and mostly self-contained introduction to higher math, roughly ranging from the undergraduate syllabus to first-year graduate topics. The Napkin provides a general bird's-eye views of main ideas of fields and what makes them cool or interesting. It's less detailed than a real textbook but more precise than pop-math books and assumes proof experience. So for example, definitions and theorem statements will typically be complete and precise, but explanations for why a result "should" be true will supersede formal proofs.
You can download the most recent PDF or generated log files. (Thanks to aDotInTheVoid who helped with the initial setup of the deployment system.)
The project can be compiled on a system supporting latexmk and asymptote,
with a sufficiently recent version of TeX Live.
Simply run latexmk.
On a system with nix, just run nix build.
Pull requests are welcome! You can email corrections directly to me as well.
There is a community working on both human-readable and Lean4 proofs of Napkin problems and examples. See:
- Napkin formal proofs written in Lean4: https://github.com/napkin-community/proofs
- Napkin human-readible solutions written in Typst: https://github.com/napkin-community/solutions
- Rendered: https://napkin-community.github.io/solutions/ (written in Typst)
If you like this project and want to support me, you can consider buying me a coffee.
