notzeb / all
all my notes in one place
☆11Updated 8 months ago
Alternatives and similar repositories for all:
Users that are interested in all are comparing it to the libraries listed below
- amateur translation project of Grothendieck's EGA.☆345Updated 6 months ago
- LaTeX code for some of my lecture notes☆270Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- Lecture notes from Cambridge maths☆67Updated last year
- Complex Analysis: A Visual and Interactive Introduction☆182Updated 3 weeks ago
- List of resources for learning Category Theory☆253Updated 5 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆307Updated last year
- 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
- Source code for the nLab☆173Updated last month
- Master Thesis☆192Updated 3 years ago
- Group theory visualization software in the browser☆247Updated last year
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆428Updated 6 months ago
- Listing of online math seminars☆43Updated 7 months ago
- Lean Library currently studying for a degree at Imperial College☆225Updated 2 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆283Updated this week
- A web UI that plots finite group Cayley Graphs in 3D☆14Updated last year
- A LaTeX document class for lecture notes—for a seminar, for an entire course with several lectures, or for brief talks.☆100Updated last month
- Olympiad problem database☆48Updated 3 weeks ago
- The collected works of F. W. Lawvere☆348Updated 7 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆497Updated 9 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- My mathematical Zettelkasten, created using forester.☆82Updated this week
- plasTeX plugin to build formalization blueprints.☆201Updated 2 weeks ago
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated 3 months ago
- A project to digitalise results from physics into Lean.☆208Updated this week
- A collection of books/notes for Math and Algorithm study (files available)☆126Updated 5 months ago
- Inkscape figure manager☆607Updated 3 years ago
- Basic Analysis, undergraduate real analysis textbook☆74Updated 2 weeks ago
- My note taking setup scripts.☆411Updated 2 years ago