emreyolcu / rewriting-collatzLinks
An automated approach to the Collatz conjecture
☆13Updated last year
Alternatives and similar repositories for rewriting-collatz
Users that are interested in rewriting-collatz are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆40Updated 3 months ago
- Cellular automata search program☆26Updated 3 years ago
- ☆20Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Smallish programs written to learn something.☆51Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 weeks ago
- Source of metamath book☆51Updated last year
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 5 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 weeks ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆16Updated 3 years ago
- ☆10Updated last year
- Compiler for MFM programming language☆23Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- Python term rewriting☆30Updated 12 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated 2 weeks ago
- mechanical computing with links and rotary joints☆18Updated 7 years ago
- metamath proof enumerators and other things☆94Updated last year
- ☆14Updated last year
- PRolog Equation Solving System☆29Updated 9 years ago
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- deep learning for math☆29Updated 6 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago