psibi / how-to-prove
My Solution to Velleman's book
☆241Updated last year
Related projects ⓘ
Alternatives and complementary repositories for how-to-prove
- Chicago undergraduate mathematics bibliography☆691Updated 5 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆211Updated this week
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆105Updated 9 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- An open-source, customizable intermediate logic textbook☆1,077Updated this week
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 5 months ago
- Open-source number theory textbook☆57Updated 3 months ago
- A solutions manual for Topology by James Munkres (2nd Edition)☆31Updated last year
- My LaTeX logbook template, including the date generation bash script.☆20Updated 7 years ago
- Solutions to problems in The Algorithm Design Book☆40Updated 6 years ago
- An Infinitely Large Napkin☆1,248Updated 3 weeks ago
- papers of Per Martin Löf☆754Updated 9 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆61Updated 9 months ago
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆125Updated 5 years ago
- Open Source Introductory Systems Programming Textbook for the University of Illinois☆693Updated last month
- ☆77Updated 2 months ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- ☆139Updated 2 months ago
- HoTTEST Summer School materials☆289Updated last year
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago