rzach / incompleteness-computabilityLinks
Textbook on Gödel's incompleteness theorems and computability theory
☆22Updated 6 months 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☆24Updated 6 months ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Busy Beaver deciders backed by Coq proof☆61Updated 10 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- Source of metamath book☆53Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated last week
- Textbook on metalogic based on the Open Logic Project☆44Updated 6 months ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- A book generator☆26Updated last month
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆13Updated this week
- Textbook on non-classical logics☆13Updated 7 months ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A Windows program to search for cellular automata patterns☆16Updated 13 years ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆37Updated 3 years ago
- An encyclopedia of proofs☆64Updated last year
- Open source library to handle integers of any size in C☆14Updated 2 years ago