notzeb / allLinks
all my notes in one place
☆12Updated last 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.☆359Updated 11 months ago
- LaTeX code for some of my lecture notes☆361Updated 3 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆489Updated 11 months ago
- Master Thesis☆203Updated 3 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆299Updated 9 months ago
- a blog platform for mathematicians☆18Updated last month
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Updated 3 years ago
- WebGL Complex Function Plotter☆58Updated 11 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆229Updated 6 months ago
- Repository for the Stacks Project☆953Updated this week
- An Infinitely Large Napkin☆1,605Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- The user home repository for the Mathematics in Lean tutorial.☆411Updated last month
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆699Updated last week
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 9 months ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A project to digitalise results from physics into Lean.☆350Updated this week
- Inkscape figure manager☆618Updated 3 years ago
- Vim + LaTeX snippets setup☆1,117Updated 2 years ago
- Server to host lean games.☆320Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆386Updated last week
- ☆169Updated 6 years ago
- ☆252Updated 2 weeks ago
- My setup for writing LaTeX documents☆26Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆523Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 10 months ago
- latex code from my first year of engineering.☆385Updated 7 months ago
- Complex Analysis: A Visual and Interactive Introduction☆188Updated last month
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆96Updated 2 years ago