notzeb / allLinks
all my notes in one place
☆11Updated 2 weeks ago
Alternatives and similar repositories for all
Users that are interested in all are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago
- Lecture notes from Cambridge maths☆69Updated last year
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆217Updated 2 months ago
- List of resources for learning Category Theory☆255Updated 6 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Source code for the nLab☆175Updated 2 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆167Updated this week
- LaTeX code for some of my lecture notes☆344Updated 3 years ago
- The user home repository for the Mathematics in Lean tutorial.☆354Updated 3 weeks ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Group theory visualization software in the browser☆250Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- My collection of handouts and lecture notes (finished and unfinished)☆30Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆101Updated this week
- Scientific computing in Lean 4☆396Updated this week
- Neovim support for the Lean theorem prover☆355Updated this week
- Server to host lean games.☆269Updated last week
- The collected works of F. W. Lawvere☆352Updated 8 months ago
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- Theorem Proving in Lean 4☆181Updated 7 months ago
- Repository for the Stacks Project☆915Updated 8 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- A project to digitalise results from physics into Lean.☆252Updated this week
- Some Lean tutorials☆183Updated last year