Alternatives and similar repositories for how-to-prove:

Users that are interested in how-to-prove are comparing it to the libraries listed below

• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆107Updated last year
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆66Updated last year
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆197Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆621Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 7 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆364Updated 4 years ago
• caisah / Sedgewick-algorithms-in-c-exercises-and-examples
  Examples and exercises from Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching by Robert Sedgewick book
  ☆293Updated 4 years ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆413Updated this week
• zacharydenton / euler
  Project Euler solutions in Python, Haskell, Ruby, Rust, and more.
  ☆148Updated 5 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆88Updated 4 months ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆283Updated 9 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆773Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆974Updated last week
• 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
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• noelmarkham / learn-you-a-haskell-exercises
  ☆195Updated 5 years ago
• shanirivers / open-source-mathematics-degree
  The open-source curriculum for learning Mathematics.
  ☆257Updated 10 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆768Updated this week
• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆95Updated 4 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 4 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 6 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago