psibi / how-to-proveLinks
My Solution to Velleman's book
☆266Updated 2 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☆739Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆216Updated 2 years ago
- An irrelevant project where I keep various code I wrote while learning☆170Updated 8 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Open-source number theory textbook☆63Updated last year
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆186Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆69Updated 2 months ago
- Public repository for Abstact Algebra Theory and Applications☆176Updated 4 months ago
- Basic Analysis, undergraduate real analysis textbook☆85Updated last week
- LaTeX class and template for typesetting math homework☆96Updated 4 years ago
- ☆151Updated last month
- My LaTeX logbook template, including the date generation bash script.☆22Updated 8 years ago
- A Modern CompSci Curriculum☆299Updated 4 months ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆311Updated last year
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆124Updated last year
- Algorithms from AIMA in Haskell☆336Updated 8 years ago
- An opinionated list of resources for learning Haskell☆930Updated 3 years ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- The open-source curriculum for learning Mathematics.☆269Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)☆117Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆84Updated last year
- Exercises and projects for Jane Street's OCaml Workshop☆663Updated 3 years ago
- Labs for the Foundations of Applied Mathematics curriculum.☆230Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆167Updated 10 months ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆311Updated 3 years ago
- Polyglot solutions for www.projecteuler.net mathematical challenges☆170Updated 3 years ago
- Write You a Scheme☆572Updated 3 years ago