vEnhance / napkinLinks
An Infinitely Large Napkin
☆1,594Updated this week
Alternatives and similar repositories for napkin
Users that are interested in napkin are comparing it to the libraries listed below
Sorting:
- Olympiad problem database☆53Updated 3 weeks ago
- amateur translation project of Grothendieck's EGA.☆358Updated 11 months ago
- Repository for the Stacks Project☆951Updated this week
- A LaTeX Typesetting Game☆256Updated 5 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆681Updated this week
- An online math contest platform☆21Updated 5 months ago
- LaTeX code for some of my lecture notes☆361Updated 3 years ago
- Source files for https://web.evanchen.cc☆54Updated this week
- Automated generation of planar geometry olympiad problems☆97Updated 2 years ago
- My Cambridge Lecture Notes☆1,428Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆523Updated last year
- Master Thesis☆203Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 10 months ago
- An open-source, customizable intermediate logic textbook☆1,204Updated 3 weeks ago
- A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.☆996Updated 5 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- A modern commutative diagram editor for the web.☆3,321Updated this week
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated last month
- Book in preparation: introduction to theoretical computer science☆978Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆299Updated 9 months ago
- A simple visual editor for creating commutative diagrams.☆1,950Updated 4 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Notes for courses taken at Harvard (2015--2019)☆476Updated 6 years ago
- The math library of Lean 4☆2,346Updated this week
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆119Updated last year
- A Portable Graphic Format for TeX☆1,262Updated 2 weeks ago
- Server to host lean games.☆319Updated this week
- A class for homework assignments written in LaTeX.☆154Updated 4 years ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- The user home repository for the Mathematics in Lean tutorial.☆411Updated last month