Alternatives and similar repositories for leon-latex-notes

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

• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 4 months ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆354Updated 3 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆289Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆180Updated last month
• 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
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated 2 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆195Updated 2 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆290Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• gillescastel / masterthesis
  Master Thesis
  ☆201Updated 3 years ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆38Updated last year
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆31Updated 3 years ago
• jdujava / TeXtured
  LaTeX Template
  ☆167Updated last week
• Einlar / latex_snippets
  Easy snippets to write faster LaTeX (in Visual Studio Code)
  ☆90Updated last year
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆369Updated 5 months ago
• Adhumunt / NotesTeX
  NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.
  ☆495Updated 2 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆77Updated this week
• mbertucci47 / keytheorems
  A LaTeX package to use amsthm with a key-value interface
  ☆21Updated 2 weeks ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• piazzai / arguelles
  Simple, typographic beamer theme
  ☆236Updated 6 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆425Updated last week
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆97Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆59Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆303Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆191Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• leanprover / elan
  The Lean version manager
  ☆404Updated last month