sligocki / busy-beaverLinks
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
☆40Updated this week
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Mathematical proofs of the bbchallenge project.☆25Updated 2 months ago
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 4 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆86Updated this week
- Exponent pair database☆59Updated this week
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- Convergence verification of the Collatz problem☆66Updated 2 months ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- ☆13Updated last year
- ☆19Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Python implementation of the monster group☆48Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Matroids in Lean☆18Updated last year
- Java implementations of sequences in the OEIS☆63Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- LODA Programs for Integer Sequences☆35Updated this week
- An automated approach to the Collatz conjecture☆13Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆72Updated last month
- A Low Barrier Proof Assistant☆116Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Metamath verifier in Python☆40Updated last month
- ☆10Updated last year
- Python talking to the Lean theorem prover☆45Updated 3 years ago