Kroneckera / bunkbed-counterexample
☆14Updated 3 months ago
Alternatives and similar repositories for bunkbed-counterexample:
Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below
- ☆19Updated 2 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last year
- Busy Beaver deciders backed by Coq proof☆41Updated 6 months ago
- A Binder repo for SageMath computing environment☆27Updated this week
- ☆11Updated 5 months ago
- A database app for ring theory☆21Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Metamath verifier in Python☆36Updated 9 months ago
- Java implementations of sequences in the OEIS☆59Updated this week
- Python implementation of the monster group☆42Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated last week
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 months ago
- ☆86Updated last year
- ☆13Updated last year
- ☆22Updated this week
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆23Updated 3 months ago
- GluCat: Clifford algebra templates☆19Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆71Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- ☆22Updated 2 years ago
- Learning platform for category theory in python☆16Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- The sources of the web LFortran GUI interface☆14Updated last year
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 3 years ago
- A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rat…☆18Updated 9 months ago
- Runtime and miner for the LODA language written in C++☆24Updated this week
- Python bindings for the egg-smol rust library☆68Updated this week