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 6 years ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆50Updated 2 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆165Updated 7 months ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 7 months ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆67Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆107Updated last year
• wmboyles / Math-Summaries
  Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.
  ☆76Updated 2 years ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• riboch / LaTeXLogbookTemplate
  My LaTeX logbook template, including the date generation bash script.
  ☆20Updated 8 years ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆219Updated 2 weeks ago
• qiao / sicp-solutions
  My solutions to Structure and Interpretation of Computer Programs
  ☆245Updated 4 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.
  ☆88Updated 4 months ago
• awalterschulze / learning
  A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
  ☆163Updated last month
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 8 months ago
• math-comp / math-comp
  Mathematical Components
  ☆604Updated this week
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 2 weeks ago
• taivop / anki-decks
  Anki decks I've created
  ☆239Updated 5 years ago
• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆135Updated 2 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆195Updated last year
• Developer-Y / math-science-video-lectures
  List of Science courses with video lectures
  ☆584Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• Mzk-Levi / texts
  ☆150Updated 10 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• 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
• DestructHub / ProjectEuler
  Polyglot solutions for www.projecteuler.net mathematical challenges
  ☆167Updated 2 years ago
• dsrub / solutions_to_probability_statistics
  ☆77Updated 4 years ago
• aimacode / aima-pseudocode
  Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
  ☆886Updated 4 years ago