PermutaTriangle / comb_spec_searcherLinks
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
Sorting:
- ☆23Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Matroids in Lean☆18Updated last year
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- Formalizing convex polyhedra in Coq☆24Updated 11 months ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- ☆15Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆13Updated 3 years ago
- ☆21Updated last year
- ☆14Updated 4 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- The formal proof of the Odd Order Theorem☆31Updated last week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Library implementing type inference/checking functionality based on the Lean theorem prover☆66Updated 3 weeks ago
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- ☆16Updated last year
- ☆27Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- tool for turning Lean proofs into Blender animations☆72Updated 2 months ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆36Updated this week
- Lean 4 tutorial files☆39Updated 3 weeks ago