Skip to content
@napkin-community

An Infinitely Large Napkin Community

Bunch of people who studies https://web.evanchen.cc/napkin.html
README.md

an infinitely large napkin

Pinned Loading

  1. solutions solutions Public

    đź“ť Solutions of "An Infinitely Large Napkin"

    Typst 31 1

  2. proofs proofs Public

    đź“š (WIP) Formal proofs of "An Infinitely Large Napkin"

    Lean 17

  3. napkin napkin Public

    Forked from vEnhance/napkin

    An Infinitely Large Napkin

    TeX 4 1

Repositories

Showing 5 of 5 repositories

Most used topics

Loading…