psibi / how-to-proveLinks
My Solution to Velleman's book
☆262Updated 8 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☆725Updated 6 years ago
- Open-source number theory textbook☆61Updated last year
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 3 weeks ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆111Updated 2 years ago
- A Modern CompSci Curriculum☆301Updated last month
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆308Updated 3 years ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆299Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆75Updated last month
- Algorithms from AIMA in Haskell☆334Updated 8 years ago
- Basic Analysis, undergraduate real analysis textbook☆80Updated 3 weeks ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆182Updated 2 years ago
- An irrelevant project where I keep various code I wrote while learning☆169Updated 5 months ago
- Exercises and code from "Haskell Programming from First Principles"☆93Updated 4 years ago
- Data structures and algorithms for competitive programming in Haskell☆15Updated last year
- My LaTeX logbook template, including the date generation bash script.☆20Updated 8 years ago
- Lecture notes from Cambridge maths☆70Updated last year
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago
- Short essays I've written☆78Updated last year
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆115Updated 9 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Book in preparation: introduction to theoretical computer science☆973Updated last year
- First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.☆32Updated 7 years ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 6 months ago
- List of resources for learning Category Theory☆268Updated 9 months ago
- The open-source curriculum for learning Mathematics.☆265Updated last year
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,242Updated 3 years ago