Kroneckera / bunkbed-counterexampleLinks
☆16Updated 10 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
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Python implementation of the monster group☆51Updated 3 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- ☆92Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- ☆19Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆42Updated last week
- Metamath verifier in Python☆40Updated 2 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- C++ library for semigroups and monoids☆62Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- Tag-based webview of LaTeX documents☆30Updated last year
- 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
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated last week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- Embedded algebraic number fields☆13Updated last month
- FreeTikZ☆38Updated 7 years ago
- Lean 4 Metamath verifier☆20Updated 2 months ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- This app twXiv gives arXiv daily new submissions by tweets. We use python3 scripts. twXiv is not affiliated with arXiv.☆20Updated last month
- metamath proof enumerators and other things☆94Updated last year