vEnhance / napkin
An Infinitely Large Napkin
☆1,233Updated last week
Related projects ⓘ
Alternatives and complementary repositories for napkin
- A LaTeX Typesetting Game☆241Updated 6 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated 3 weeks ago
- LaTeX code for some of my lecture notes☆251Updated 2 years ago
- Automated generation of planar geometry olympiad problems☆82Updated last year
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,666Updated 4 months ago
- Inkscape shorcut manager☆374Updated 2 years ago
- Inkscape figure manager☆574Updated 2 years ago
- Olympiad problem database☆44Updated last week
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- Vim + LaTeX snippets setup☆1,037Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- Source files for https://web.evanchen.cc☆43Updated this week
- Repository for the Stacks Project☆858Updated last month
- My note taking setup scripts.☆381Updated 2 years ago
- Notes for courses taken at Harvard (2015--2019)☆460Updated 5 years ago
- Master Thesis☆180Updated 3 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆111Updated this week
- An open-source, customizable intermediate logic textbook☆1,073Updated 2 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆447Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆204Updated this week
- OTIS course management system☆40Updated this week
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Lean 4 programming language and theorem prover☆4,679Updated this week
- The math library of Lean 4☆1,523Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆361Updated this week
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆105Updated 8 months ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆363Updated 2 weeks ago
- A simple visual editor for creating commutative diagrams.☆1,891Updated 4 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago