Alternatives and similar repositories for 1802

Users that are interested in 1802 are comparing it to the libraries listed below

• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆86Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated 3 weeks ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆78Updated last week
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆85Updated 2 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆330Updated last year
• gillescastel / masterthesis
  Master Thesis
  ☆211Updated 4 years ago
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆109Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆467Updated 6 months ago
• ryuryu-ymj / mannot
  A package for marking and annotating in math blocks in Typst.
  ☆65Updated 2 months ago
• s15n / typst-thmbox
  Modern, Friendly, and Customizable Theorem Environments for Typst
  ☆28Updated last month
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆381Updated 3 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated this week
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆29Updated 4 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 months ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆13Updated last week
• tgkolda / latex-graphics-book-examples
  Examples from the book Unlocking LaTeX Graphics: A Concise Guide to TikZ/PGF and PGFPLOTS. See https://latex-graphics.com for more detail…
  ☆80Updated last year
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆79Updated 2 months ago
• sahasatvik / typst-theorems
  An implementation of numbered theorem environments in typst
  ☆273Updated 7 months ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆79Updated 3 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• jneug / typst-finite
  Typst-setting finite automata with CeTZ.
  ☆141Updated 8 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆184Updated 5 months ago
• FrankMittelbach / tlc3-examples
  Examples for The LaTeX Companion 3rd edition
  ☆45Updated 2 years ago
• AareyanManzoor / Characteristic-Classes
  ☆11Updated 4 months ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆271Updated this week
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆33Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week
• 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…
  ☆122Updated last year
• kovzol / geogebra-discovery
  GeoGebra Discovery
  ☆27Updated 2 weeks ago