psibi / how-to-proveLinks
My Solution to Velleman's book
☆266Updated 3 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☆744Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆218Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆125Updated last year
- Public repository for Abstact Algebra Theory and Applications☆177Updated 5 months ago
- Open-source number theory textbook☆63Updated last year
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,263Updated 3 years ago
- A Modern CompSci Curriculum☆299Updated 5 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆71Updated last week
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆187Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆78Updated last month
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- The open-source curriculum for learning Mathematics.☆269Updated last year
- Labs for the Foundations of Applied Mathematics curriculum.☆234Updated last year
- An open-source, customizable intermediate logic textbook☆1,244Updated last month
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆311Updated 3 years ago
- Princeton University COS 461: Computer Networks☆190Updated 4 years ago
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆44Updated 3 years ago
- Short essays I've written☆80Updated 2 years ago
- Berkeley cs61a Spring 2011 Computer Science Course☆124Updated 6 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆137Updated 6 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆664Updated 3 years ago
- ☆94Updated 8 months ago
- Lecture notes from Cambridge maths☆72Updated last year
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆51Updated 2 months ago
- amateur translation project of Grothendieck's EGA.☆373Updated 2 months ago
- SICP in Guile & Emacs Lisp☆709Updated 3 years ago