notzeb / allLinks
all my notes in one place
☆11Updated this week
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.☆346Updated 8 months ago
- Master Thesis☆199Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆487Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆262Updated 6 months ago
- Lecture notes from Cambridge maths☆68Updated last year
- LaTeX code for some of my lecture notes☆350Updated 3 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆175Updated 3 weeks ago
- Source code for the nLab☆177Updated 3 months ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Render LaTeX and TikZ diagrams in your notes☆538Updated 11 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 months ago
- A statically-generated site to host my math course notes in university.☆451Updated last week
- plasTeX plugin to build formalization blueprints.☆220Updated last month
- latex code from my first year of engineering.☆362Updated 4 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- My note taking setup scripts.☆426Updated 2 years ago
- Scientific computing in Lean 4☆411Updated 2 weeks ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆56Updated 6 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆219Updated 3 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- L-Functions and Modular Forms Database☆272Updated this week
- A project to map out the relations between different equational theories of Magmas.☆392Updated this week
- Listing of online math seminars☆43Updated 9 months ago
- UCalgary version of forallx, an introduction to formal logic☆108Updated this week
- A web UI that plots finite group Cayley Graphs in 3D☆16Updated last year
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆89Updated 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…☆104Updated this week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year