psibi / how-to-proveLinks
My Solution to Velleman's book
☆256Updated 5 months ago
Alternatives and similar repositories for how-to-prove
Users that are interested in how-to-prove are comparing it to the libraries listed below
Sorting:
- Chicago undergraduate mathematics bibliography☆717Updated 6 years ago
- Lecture notes from Cambridge maths☆69Updated last year
- Open-source number theory textbook☆59Updated 9 months ago
- Info on resources for studying math, stats, CS, etc.☆207Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆30Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated 2 weeks ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Basic Analysis, undergraduate real analysis textbook☆75Updated last week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆82Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆54Updated 5 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- Solution to Algebra, Chapter 0☆90Updated last month
- Page of the course "Competitive Programming and Contests" at Department of Computer Science, University of Pisa☆229Updated last year
- Princeton University COS 461: Computer Networks☆177Updated 3 years ago
- Solutions to the exercises in Concrete Mathematics (2nd edition)☆46Updated 12 years ago
- ☆144Updated 3 months ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆16Updated 12 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,235Updated 3 years ago
- ☆155Updated 10 years ago
- ☆162Updated 5 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆89Updated 6 months ago
- The collected works of F. W. Lawvere☆352Updated 8 months ago
- Algorithms from AIMA in Haskell☆333Updated 7 years ago
- An open-source, customizable intermediate logic textbook☆1,157Updated 2 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 4 years ago
- Let's Build a Compiler (in Haskell)☆167Updated 5 years ago