Anon52MI4 / oeis-alien
☆19Updated 2 years ago
Alternatives and similar repositories for oeis-alien:
Users that are interested in oeis-alien are comparing it to the libraries listed below
- Experiments with some ways of automating reasoning in lean 4☆15Updated 11 months ago
- Examples using MetaProgramming for writing tactics etc.☆18Updated last month
- ☆22Updated last month
- Neural theorem proving toolkit: data extraction tools for Lean 4☆22Updated 2 weeks ago
- Bonn Lean course for winter 24/25☆26Updated 3 months ago
- Formal grammars in Lean 3☆8Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- ☆19Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆48Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- ☆11Updated last year
- ☆10Updated 3 years ago
- Python talking to the Lean theorem prover☆42Updated 3 years ago
- How to read Lean☆17Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆68Updated 3 weeks ago
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Lean 4 Metamath verifier☆17Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆51Updated 6 months ago
- An attempt to formalize every problem in Baby Rudin with natural language descripiton☆17Updated last month
- ☆14Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆12Updated 2 weeks ago
- ☆21Updated last year
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Code related to the Lean verification of the empty hexagon theorem☆12Updated 6 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated 2 weeks ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.