psibi / how-to-proveLinks
My Solution to Velleman's book
☆261Updated 9 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☆726Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆213Updated 2 years ago
- An irrelevant project where I keep various code I wrote while learning☆169Updated 5 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated last month
- SICP in Guile & Emacs Lisp☆705Updated 3 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- An opinionated list of resources for learning Haskell☆921Updated 3 years ago
- Resources for learning Category Theory for an enthusiast☆637Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆183Updated 2 years ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆308Updated 3 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆61Updated 3 weeks ago
- Domain-Specific Languages of Mathematics☆442Updated 3 weeks ago
- Fork of the original Data61 course to be more Stack friendly☆449Updated 4 years ago
- ☆431Updated 3 years ago
- ☆196Updated 5 years ago
- Haskell Programming From First Principles - Follow-up Resources☆497Updated 7 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆631Updated last year
- Open-source number theory textbook☆61Updated last year
- Polyglot solutions for www.projecteuler.net mathematical challenges☆172Updated 2 years ago
- Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete imple…☆1,243Updated 3 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆95Updated 3 years ago
- Exercises and code from "Haskell Programming from First Principles"☆93Updated 4 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- List of resources for learning Category Theory☆268Updated 9 months ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,350Updated 5 months ago
- My study guide for SICP☆128Updated 5 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆785Updated 2 weeks ago
- Lecture notes from Cambridge maths☆71Updated last year
- Write You a Scheme☆572Updated 2 years ago