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 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ☆19Updated 2 years ago
- Cellular automata search program☆26Updated 3 years ago
- ☆10Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Research into rewrite-rule completion in miniKanren☆9Updated 6 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- Smallish programs written to learn something.☆51Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Source of metamath book☆49Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆42Updated this week
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- deep learning for math☆29Updated 6 years ago
- metamath proof enumerators and other things☆94Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 5 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago