emreyolcu / rewriting-collatzLinks
An automated approach to the Collatz conjecture
☆12Updated 2 years ago
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 7 months ago
- ☆22Updated 3 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Source of metamath book☆53Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 2 weeks ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 5 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 4 months ago
- Python term rewriting☆30Updated 12 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Updated 5 months ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 3 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- The Thue programming language: Programming with grammars☆33Updated 3 months ago
- ☆11Updated last year