rzach / incompleteness-computability
Textbook on Gödel's incompleteness theorems and computability theory
☆19Updated 3 years ago
Alternatives and similar repositories for incompleteness-computability:
Users that are interested in incompleteness-computability are comparing it to the libraries listed below
- Open textbook on modal logic☆22Updated 3 years ago
- Tim Button's open textbook on set theory☆34Updated last year
- Textbook on metalogic based on the Open Logic Project☆41Updated last year
- Source of metamath book☆48Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆16Updated last year
- UCalgary version of forallx, an introduction to formal logic☆106Updated 2 months ago
- ☆29Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- An encyclopedia of proofs☆59Updated 5 months ago
- Coq library for verified low-level programming☆58Updated 7 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆74Updated 7 months ago
- A number guessing game with a p-adic twist.☆9Updated last year
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆18Updated this week
- P.D. Magnus' forallx logic textbook☆64Updated 3 weeks ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆17Updated last week
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆69Updated 2 weeks ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆14Updated 8 months ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Lean 4 Metamath verifier☆17Updated last year
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- ☆23Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆49Updated last month