PermutaTriangle / comb_spec_searcher
a Python library for combinatorial exploration
☆12Updated 2 weeks ago
Alternatives and similar repositories for comb_spec_searcher:
Users that are interested in comb_spec_searcher are comparing it to the libraries listed below
- ☆21Updated last year
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- ☆14Updated 2 years ago
- ☆23Updated 2 years ago
- ☆27Updated 3 years ago
- ☆11Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- Interactive neural theorem proving in Lean☆120Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- ☆15Updated last year
- A formalized proof of Carleson's theorem in Lean☆52Updated this week
- Lean for the Curious Mathematician 2020☆66Updated last year
- Python talking to the Lean theorem prover☆43Updated 3 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆14Updated 4 years ago
- Formalizing "Proofs from THE BOOK"☆57Updated 4 months ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆55Updated 9 months ago
- ☆36Updated 9 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- ☆49Updated 2 years ago
- ☆16Updated 4 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Metamath verifier in Python☆38Updated last year
- Template for Lean<->Rust FFI☆12Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago