psibi / how-to-proveLinks
My Solution to Velleman's book
☆256Updated 7 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☆722Updated 6 years ago
- Public repository for Abstact Algebra Theory and Applications☆171Updated 3 weeks ago
- Open-source number theory textbook☆59Updated 11 months ago
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 8 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆58Updated 6 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆113Updated last year
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆71Updated last year
- Project Euler solutions in Python, Haskell, Ruby, Rust, and more.☆149Updated 3 months ago
- First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.☆32Updated 7 years ago
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,238Updated 3 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆180Updated 2 years ago
- Lecture notes from Cambridge maths☆68Updated last year
- amateur translation project of Grothendieck's EGA.☆352Updated 9 months ago
- An irrelevant project where I keep various code I wrote while learning☆169Updated 3 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- Basic Analysis, undergraduate real analysis textbook☆77Updated last week
- Short essays I've written☆79Updated last year
- My solutions to Structure and Interpretation of Computer Programs☆245Updated 5 years ago
- Let's translate works of Grothendieck☆26Updated 5 years ago
- ☆86Updated 2 months ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆253Updated 3 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆269Updated 7 months ago