Anon52MI4 / oeis-alien
☆19Updated last year
Related projects ⓘ
Alternatives and complementary repositories for oeis-alien
- A formalized proof of Carleson's theorem in Lean☆29Updated this week
- Examples using MetaProgramming for writing tactics etc.☆14Updated 2 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 7 months ago
- ☆12Updated 4 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Formalizing Euclidean Geometry in Lean☆27Updated 8 months ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- ☆22Updated this week
- Matroids in Lean☆18Updated 11 months ago
- How to read Lean☆16Updated 2 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- A Lean 4 package for heavy numerical computations☆17Updated 2 years ago
- ☆13Updated 3 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- ☆27Updated 3 years ago
- ☆12Updated last year
- ☆21Updated 11 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆17Updated 2 years ago
- ☆12Updated 2 years ago
- Implementation of higher-order logic in Python☆58Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆47Updated 3 months ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- A (WIP) equality saturation tactic for Lean based on egg.☆41Updated last week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 2 months ago
- Write formal proofs in natural language and LaTeX.☆32Updated 3 weeks ago