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
- ☆27Updated 3 years ago
- ☆23Updated 2 years ago
- ☆21Updated last year
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆10Updated this week
- ☆14Updated last year
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- A formalized proof of Carleson's theorem in Lean☆48Updated this week
- Lean 4 tutorial files☆36Updated 10 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆83Updated 4 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Fermat's Last Theorem for regular primes☆54Updated last week
- The Slate Interactive Theorem Prover☆24Updated 2 years ago
- Python talking to the Lean theorem prover☆42Updated 3 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆55Updated 9 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- tool for turning Lean proofs into Blender animations☆61Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- ☆49Updated 2 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆55Updated last week
- Matroids in Lean☆18Updated last year
- High level Lean 4 FFI for Rust☆13Updated last year
- ☆11Updated last year
- ☆16Updated 4 years ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago