danbriggs / Turing
Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
☆20Updated 3 years ago
Alternatives and similar repositories for Turing:
Users that are interested in Turing are comparing it to the libraries listed below
- Busy Beaver deciders backed by Coq proof☆49Updated last month
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆86Updated last year
- A formalized proof of Carleson's theorem in Lean☆52Updated this week
- ☆11Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆51Updated 8 months ago
- A formal consistency proof of Quine's set theory New Foundations☆69Updated 2 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- ☆31Updated last year
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 3 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆16Updated last year
- LLVM support for the lean theorem prover☆47Updated 3 years ago
- ☆10Updated 3 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆18Updated last week
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Formalization of the existence of sphere eversions☆40Updated 3 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Template for blueprint-driven formalization projects in Lean.☆48Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 5 months ago
- SampCert : Verified Differential Privacy☆73Updated last week
- Lean 4 tutorial files☆36Updated 11 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Formalizing "Proofs from THE BOOK"☆57Updated 4 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆77Updated 4 months ago
- ☆12Updated 2 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year