EasyTheory / EasyTheoryBook
☆21Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for EasyTheoryBook
- Applied Discrete Structures using PreTeXt☆41Updated 2 weeks ago
- Tim Button's open textbook on set theory☆30Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated 11 months ago
- English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano☆30Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆53Updated 4 months ago
- Programs for the third edition of the Algorithm Design Manual☆126Updated 2 years ago
- ☆39Updated 5 months ago
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny☆24Updated 4 years ago
- Open-source number theory textbook☆57Updated 3 months ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Toy database project in C☆12Updated 8 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆16Updated 7 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆90Updated last year
- P.D. Magnus' forallx logic textbook☆60Updated 11 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆57Updated 3 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆40Updated 4 months ago
- TAOCP - The Art Of Computer Programming Reading Group meetup schedule and meeting notes☆30Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 9 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆147Updated 2 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago