psibi / how-to-proveLinks
My Solution to Velleman's book
☆264Updated last month
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☆733Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆214Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- The open-source curriculum for learning Mathematics.☆267Updated last year
- Open-source number theory textbook☆61Updated last year
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆185Updated 2 years ago
- Resources for learning Category Theory for an enthusiast☆645Updated 2 years ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆309Updated 3 years ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,149Updated 11 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated last year
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆67Updated 2 weeks ago
- An opinionated list of resources for learning Haskell☆927Updated 3 years ago
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆116Updated 11 months ago
- A Modern CompSci Curriculum☆299Updated 3 months ago
- My solutions to Structure and Interpretation of Computer Programs☆249Updated 5 years ago
- Short essays I've written☆79Updated last year
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆40Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆310Updated 10 months ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 8 months ago
- Book in preparation: introduction to theoretical computer science☆983Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Algorithms from AIMA in Haskell☆335Updated 8 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 8 months ago
- ☆151Updated last week
- A Literate Program about Data Structures and Object-Oriented Programming☆284Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Fork of the original Data61 course to be more Stack friendly☆451Updated 4 years ago