bbchallenge / bbchallenge-proofsLinks
Mathematical proofs of the bbchallenge project.
☆25Updated 3 months ago
Alternatives and similar repositories for bbchallenge-proofs
Users that are interested in bbchallenge-proofs are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆94Updated last year
- ☆11Updated last year
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- Pedagogical first-order prover in Python☆76Updated last month
- Formalization of the existence of sphere eversions☆44Updated last week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- A formal proof of the independence of the continuum hypothesis☆132Updated 11 months ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last month
- Very controlled natural language tactics for Lean☆64Updated last year
- Experiments on automation for Lean☆125Updated 3 weeks ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- ☆31Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- tool for turning Lean proofs into Blender animations☆74Updated last month
- 💧 Liquid Tensor Experiment☆205Updated last year
- Metamath source file for logic and set theory☆288Updated this week
- ☆86Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆211Updated this week
- Formalizing "Proofs from THE BOOK"☆64Updated last week
- ☆19Updated 2 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- Lean 4 kernel / 'external checker' written in Lean 4☆109Updated last month
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- ☆32Updated last month
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- ☆13Updated last year
- Metamath program - source code for the Metamath executable☆82Updated last week