These are the source files for Evan Chen's An Infinitely Large Napkin. You can read about the project on my webpage.
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.
