emreyolcu / rewriting-collatz
An automated approach to the Collatz conjecture
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rewriting-collatz
- sorear's Metamath system engine☆13Updated 8 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- ☆19Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- Learn Lean and topology☆20Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- My unofficial picat http://picat-lang.org/ repository☆27Updated 10 months 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…☆14Updated 2 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆10Updated this week
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 10 months 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 3 years ago
- An Impractical Stack Language☆13Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Intuitionistic Programming Language☆11Updated 10 years ago
- VSCode extension for Metamath☆10Updated last month
- Tiny Forth-like language implementation☆20Updated 7 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Filetree code for the Mist project (mist-project.org)☆32Updated 8 years ago
- Source of metamath book☆45Updated 10 months ago
- A Smalltalk in Python☆12Updated 2 years ago
- LODA Programs for Integer Sequences☆31Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago