danbriggs / Turing
Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
☆19Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Turing
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- ☆14Updated 11 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Plain-text declaration export for Lean 4☆12Updated last month
- ☆36Updated last year
- ☆85Updated last year
- Formalizing "Proofs from THE BOOK"☆54Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆24Updated 2 years ago
- ☆10Updated 9 months ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆36Updated this week
- ☆49Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Lean for the Curious Mathematician 2020☆63Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- SampCert : Verified Differential Privacy☆65Updated 3 months ago
- Generate HTML documentation for mathlib and Lean☆21Updated last month
- tool for turning Lean proofs into Blender animations☆41Updated last month
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆63Updated last week
- A community database of topological counterexamples☆72Updated this week
- ☆12Updated 4 months ago
- Lean 4 formalization of Rubik's cubes☆24Updated 3 weeks ago
- ☆27Updated 8 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 6 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 8 months ago