Alternatives and similar repositories for MathsRevisionCheatSheets:

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

• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆232Updated 3 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• gillescastel / masterthesis
  Master Thesis
  ☆189Updated 3 years ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆66Updated last year
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆269Updated 3 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…
  ☆119Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆29Updated 11 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 3 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆189Updated last year
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆50Updated 3 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• ernestyalumni / mathphysics
  Various notes and solutions on Math and Physics (and Mathematical Physics)
  ☆71Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆396Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆150Updated 2 weeks ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆309Updated 2 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆246Updated this week
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆115Updated last week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆62Updated 3 weeks ago
• leanprover / elan
  The Lean version manager
  ☆350Updated this week
• sohamch08 / LaTeX
  All My LaTeX Works till Now are here all togather.
  ☆123Updated 8 months ago
• gillescastel / instant-reference
  Instant Pdf Referencing
  ☆66Updated 2 years ago
• knzhou / knzhou.github.io
  ☆22Updated this week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆22Updated last year
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆30Updated 3 years ago