rzach / incompleteness-computabilityLinks
Textbook on Gödel's incompleteness theorems and computability theory
☆20Updated 2 weeks ago
Alternatives and similar repositories for incompleteness-computability
Users that are interested in incompleteness-computability are comparing it to the libraries listed below
Sorting:
- Open textbook on modal logic☆23Updated 2 weeks ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- Textbook on metalogic based on the Open Logic Project☆43Updated 2 weeks ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 10 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- distributed revision control system -- historical snapshot☆78Updated 11 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆18Updated last week
- Metamath program - source code for the Metamath executable☆82Updated 2 months ago
- A book generator☆26Updated last week
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Portable high-level assembler with authentic C syntax☆24Updated 3 years ago
- Source of metamath book☆48Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- A bignum library for C.☆33Updated last year
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆20Updated this week
- Unlambda interpreter☆11Updated last year
- The GNU Superoptimizer☆26Updated 10 years ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆19Updated 6 years ago
- LLVM backend for m88k architecture☆50Updated 5 months ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago