notzeb / allLinks
all my notes in one place
☆12Updated last month
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.☆356Updated 10 months ago
- LaTeX code for some of my lecture notes☆356Updated 3 years ago
- Master Thesis☆203Updated 3 years ago
- Lecture notes from Cambridge maths☆70Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆290Updated 8 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆665Updated last week
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆457Updated 10 months ago
- The user home repository for the Mathematics in Lean tutorial.☆407Updated 3 weeks ago
- TikZJax is TikZ running under WebAssembly in the browser☆521Updated last year
- A LaTeX math notes template with pre-defined tcolorboxes for theorems☆22Updated 5 months ago
- An Infinitely Large Napkin☆1,579Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆226Updated 5 months ago
- Completed MIT OCW 8.01SC☆36Updated 3 years ago
- latex code from my first year of engineering.☆381Updated 7 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Updated 3 years ago
- A project to digitalise results from physics into Lean.☆328Updated this week
- A LaTeX Typesetting Game☆255Updated 5 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Server to host lean games.☆311Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Repository for the Stacks Project☆945Updated last week
- Render LaTeX and TikZ diagrams in your notes☆560Updated last year
- My note taking setup scripts.☆429Updated 3 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Inkscape figure manager☆617Updated 3 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last year
- a blog platform for mathematicians☆18Updated 3 weeks ago
- Natural Number Game☆208Updated this week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆11Updated last week
- List of resources for learning Category Theory☆268Updated 9 months ago