leon0241 / leon-latex-notesLinks
Typed up LaTeX notes for use in exams for various UoE courses I'm taking
☆8Updated 3 weeks ago
Alternatives and similar repositories for leon-latex-notes
Users that are interested in leon-latex-notes are comparing it to the libraries listed below
Sorting:
- LaTeX code for some of my lecture notes☆344Updated 3 years ago
- Simple, typographic beamer theme☆235Updated 4 months ago
- My note taking setup scripts.☆425Updated 2 years ago
- Master Thesis☆198Updated 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…☆120Updated last year
- All My LaTeX Works till Now are here all togather.☆128Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆217Updated 2 months ago
- A project to digitalise results from physics into Lean.☆259Updated this week
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆88Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Server to host lean games.☆269Updated last week
- A formalized proof of Carleson's theorem in Lean☆55Updated this week
- Lecture notes from Cambridge maths☆68Updated last year
- Formalization of Mathematical Logic☆120Updated this week
- latex code from my first year of engineering.☆359Updated 4 months ago
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- Theorem Proving in Lean 4☆181Updated 7 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated this week
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆439Updated 7 months ago
- The standard template to create a lean game☆24Updated 2 months ago
- NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.☆487Updated 2 years ago
- Kinda awesome beamer theme☆141Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- My bespoke, multipurpose class; designed for general use in LaTeX documents.☆238Updated 2 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆418Updated this week
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆371Updated 4 months ago
- Notes for COMP 458 (Spring 2025): Quantum Computing Algorithms 🧬☆74Updated last month
- Document Generator for Lean 4☆95Updated this week
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆64Updated this week