psibi / how-to-prove
My Solution to Velleman's book
☆253Updated 4 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
- Chicago undergraduate mathematics bibliography☆711Updated 6 years ago
- Lecture notes from Cambridge maths☆66Updated last year
- Basic Analysis, undergraduate real analysis textbook☆74Updated last week
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆27Updated 2 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆52Updated 4 months ago
- ☆144Updated 2 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆109Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- My LaTeX logbook template, including the date generation bash script.☆20Updated 8 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆66Updated last year
- Princeton University COS 461: Computer Networks☆175Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆88Updated 5 months ago
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,228Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆291Updated last year
- A curated list of awesome Category Theory resources.☆113Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- Info on resources for studying math, stats, CS, etc.☆203Updated last year
- Applied Discrete Structures using PreTeXt☆44Updated this week
- Open-source number theory textbook☆58Updated 8 months ago
- course cs61a at berkeley, spring 2011☆169Updated 4 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆236Updated this week
- Berkeley cs61a Spring 2011 Computer Science Course☆106Updated 6 years ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆165Updated 2 months ago
- ☆83Updated last week
- Resources for learning Category Theory for an enthusiast☆621Updated 2 years ago
- A list of textbooks for a Computer Science curriculum.☆416Updated 3 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated this week
- ☆59Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆239Updated 4 months ago
- Programs for the third edition of the Algorithm Design Manual☆136Updated 2 years ago