Kroneckera / bunkbed-counterexampleLinks
☆16Updated 11 months ago
Alternatives and similar repositories for bunkbed-counterexample
Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below
Sorting:
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Busy Beaver deciders backed by Coq proof☆54Updated 6 months ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated 2 weeks ago
- ☆23Updated last week
- Metamath verifier in Python☆40Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- ☆20Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Python implementation of the monster group☆53Updated last week
- metamath proof enumerators and other things☆94Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 2 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- The codebase that computed the Ninth Dedekind Number☆14Updated 4 months ago
- Python bindings for the egg-smol rust library☆86Updated last week
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- ☆92Updated last year
- Cellular automata search program☆26Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 3 months ago
- tool for turning Lean proofs into Blender animations☆74Updated last week
- Python bindings for Flint and Arb☆137Updated this week
- Source of metamath book☆50Updated last year
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated this week
- Metamath program - source code for the Metamath executable☆84Updated last month
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆64Updated 2 months ago