vEnhance / napkinLinks
An Infinitely Large Napkin
☆1,528Updated 2 weeks ago
Alternatives and similar repositories for napkin
Users that are interested in napkin are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆346Updated 8 months ago
- Olympiad problem database☆49Updated 3 weeks ago
- Notes for courses taken at Harvard (2015--2019)☆473Updated 6 years ago
- Repository for the Stacks Project☆920Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆480Updated this week
- LaTeX code for some of my lecture notes☆349Updated 3 years ago
- Source files for https://web.evanchen.cc☆48Updated 2 weeks ago
- A project to map out the relations between different equational theories of Magmas.☆384Updated this week
- OTIS course management system☆40Updated this week
- A Lean companion to Analysis I☆772Updated this week
- Book in preparation: introduction to theoretical computer science☆966Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 months ago
- Lean Theorem Prover☆2,154Updated last year
- The Lean version manager☆393Updated 3 weeks ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆46Updated this week
- Master Thesis☆199Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆262Updated 6 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆117Updated this week
- A LaTeX Typesetting Game☆252Updated 2 months ago
- Complex Analysis: A Visual and Interactive Introduction☆186Updated 2 weeks ago
- Server to host lean games.☆277Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆371Updated 3 weeks ago
- Main repository of SageMath☆1,829Updated last week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,668Updated 11 months ago
- Chicago undergraduate mathematics bibliography☆719Updated 6 years ago
- Inkscape figure manager☆610Updated 3 years ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Automated generation of planar geometry olympiad problems☆91Updated last year
- L-Functions and Modular Forms Database☆272Updated this week
- Lean 4 programming language and theorem prover☆5,830Updated this week