Alternatives and similar repositories for math-solutions

Users that are interested in math-solutions are comparing it to the libraries listed below

• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• 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…
  ☆120Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆209Updated last month
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated last week
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆34Updated 8 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆249Updated 5 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 7 months ago
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆23Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆183Updated last week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆224Updated this week
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆178Updated 7 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆157Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆330Updated last week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆89Updated last month
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆24Updated 4 months ago
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆102Updated 11 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• gillescastel / masterthesis
  Master Thesis
  ☆193Updated 3 years ago
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆72Updated 3 months ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆318Updated 3 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆89Updated 6 months ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆116Updated last week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆120Updated 10 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆163Updated last month
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 11 months ago
• cjquines / tsqx
  Asymptote preprocessor
  ☆13Updated 2 years ago
• leanprover / elan
  The Lean version manager
  ☆374Updated 2 weeks ago