Alternatives and similar repositories for how-to-prove:

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

• ystael / chicago-ug-math-bib
  Chicago undergraduate mathematics bibliography
  ☆703Updated 5 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated 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
  ☆49Updated 2 months ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 6 months ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆193Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆70Updated 3 weeks ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 7 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆164Updated 6 months ago
• UniMath / Schools
  ☆80Updated 5 months ago
• Developer-Y / math-science-video-lectures
  List of Science courses with video lectures
  ☆582Updated last year
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆107Updated last year
• flavioschneider / ethzcheatsheets
  ☆125Updated 4 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆28Updated 9 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated last year
• mooculus / calculus
  ☆142Updated last week
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆163Updated 4 years ago
• donsheehy / datastructures
  A Literate Program about Data Structures and Object-Oriented Programming
  ☆245Updated 9 months ago
• eagletmt / project-euler-c
  solutions for Project Euler in C
  ☆64Updated 15 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆87Updated 3 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• filipegoncalves / codinghighway
  Coding Highway
  ☆27Updated 8 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆17Updated this week
• dwayne / haskell-programming
  My notes and solutions to exercises for the book "Haskell Programming from first principles".
  ☆95Updated 3 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 3 years ago
• mostafatouny / awesome-theoretical-computer-science
  The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
  ☆812Updated this week
• noelmarkham / learn-you-a-haskell-exercises
  ☆195Updated 5 years ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆67Updated last year
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆279Updated 8 months ago
• qiao / sicp-solutions
  My solutions to Structure and Interpretation of Computer Programs
  ☆245Updated 4 years ago