psibi / how-to-proveLinks
My Solution to Velleman's book
☆265Updated last month
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☆736Updated 6 years ago
- Info on resources for studying math, stats, CS, etc.☆215Updated 2 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆186Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- The open-source curriculum for learning Mathematics.☆268Updated last year
- Open-source number theory textbook☆61Updated last year
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆309Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- Algorithms from AIMA in Haskell☆335Updated 8 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated last year
- A Modern CompSci Curriculum☆299Updated 4 months ago
- An opinionated list of resources for learning Haskell☆933Updated 3 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆786Updated 2 weeks ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- amateur translation project of Grothendieck's EGA.☆369Updated last month
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆298Updated 4 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆123Updated last year
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated last month
- ☆162Updated 10 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆311Updated last year
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- A course-worth of notes☆202Updated last year
- Exercises and projects for Jane Street's OCaml Workshop☆656Updated 3 years ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago