psibi / how-to-proveLinks
My Solution to Velleman's book
☆262Updated 2 weeks 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☆729Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆213Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- Open-source number theory textbook☆61Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated 2 months ago
- A Modern CompSci Curriculum☆301Updated 2 months ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆184Updated 2 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆65Updated last month
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆304Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Updated 5 years ago
- Basic Analysis, undergraduate real analysis textbook☆81Updated last week
- Lecture notes from Cambridge maths☆71Updated last year
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆115Updated 10 months ago
- A course-worth of notes☆202Updated last year
- Algorithms from AIMA in Haskell☆335Updated 8 years ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆308Updated 3 years ago
- Polyglot solutions for www.projecteuler.net mathematical challenges☆171Updated 2 years ago
- An irrelevant project where I keep various code I wrote while learning☆169Updated 6 months ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- ☆132Updated 4 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆310Updated last year
- Python-based Project Euler command line tool.☆553Updated 3 years ago
- Project Euler solutions in Python, Haskell, Ruby, Rust, and more.☆150Updated 6 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆121Updated last year
- An opinionated list of resources for learning Haskell☆923Updated 3 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago