rzach / incompleteness-computabilityLinks
Textbook on Gödel's incompleteness theorems and computability theory
☆22Updated 7 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 7 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
- Coq library for verified low-level programming☆61Updated 8 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Source of metamath book☆55Updated 2 years ago
- Busy Beaver deciders backed by Coq proof☆61Updated 11 months ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 9 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- LODA Programs for Integer Sequences☆37Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Textbook on non-classical logics☆13Updated 7 months ago
- Metamath program - source code for the Metamath executable☆94Updated 2 months ago
- A book generator☆26Updated last month
- K42 Kernel☆32Updated 13 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- Textbook on metalogic based on the Open Logic Project☆44Updated 7 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Resurrecting PP-BESM☆27Updated 2 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆32Updated 4 years ago
- A bignum library for C.☆33Updated last year
- 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
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- Attempt to find a brute-force solution to Tetris☆18Updated 3 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago