Alternatives and similar repositories for leon-latex-notes

Users that are interested in leon-latex-notes are comparing it to the libraries listed below

• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆204Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆70Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  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
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆355Updated 3 years ago
• vEnhance / von
  Olympiad problem database
  ☆52Updated last week
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆37Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆222Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 4 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆308Updated this week
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆202Updated this week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 2 months ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆452Updated 9 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆180Updated 4 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆180Updated this week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• Einlar / latex_snippets
  Easy snippets to write faster LaTeX (in Visual Studio Code)
  ☆89Updated last year
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆147Updated this week
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆31Updated 3 weeks ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆91Updated 9 months ago
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆14Updated 3 years ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆29Updated 10 months ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆371Updated 6 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆354Updated 10 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 3 weeks ago
• learnlatex / learnlatex.github.io
  Learn LaTeX online
  ☆165Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆199Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆275Updated 8 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆229Updated 2 weeks ago