psibi / how-to-proveLinks
My Solution to Velleman's book
☆256Updated 6 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☆719Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆209Updated 2 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆112Updated last year
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆295Updated last year
- Public repository for Abstact Algebra Theory and Applications☆170Updated last month
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆115Updated 7 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 months ago
- Open-source number theory textbook☆59Updated 10 months ago
- Lecture notes from Cambridge maths☆68Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆69Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆56Updated 6 months ago
- ☆145Updated this week
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Basic Analysis, undergraduate real analysis textbook☆76Updated last month
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆131Updated 5 years ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆88Updated 2 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- Solutions to Algebra, by Michael Artin.☆34Updated 8 years ago
- Reading list for Probability and Statistics☆28Updated last week
- Notes from various courses at the University of Waterloo.☆89Updated 6 years ago
- Selected solutions to the book Linear Algebra Done Wrong.☆59Updated 4 months ago
- An Infinite Descent into Pure Mathematics☆44Updated 4 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆252Updated this week
- Berkeley cs61a Spring 2011 Computer Science Course☆109Updated 6 years ago
- Labs for the Foundations of Applied Mathematics curriculum.☆220Updated 7 months ago
- Princeton University COS 461: Computer Networks☆177Updated 3 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Let's Build a Compiler (in Haskell)☆167Updated 5 years ago
- List of resources for learning Category Theory☆258Updated 6 months ago