PermutaTriangle / comb_spec_searcherLinks
a Python library for combinatorial exploration
☆12Updated this week
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:
- Bonn Lean course for winter 24/25☆39Updated this week
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- ☆22Updated this week
- ☆15Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- ☆26Updated 4 years ago
- ☆51Updated 3 years ago
- ☆43Updated last month
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Construction of a Brownian Motion in Lean☆38Updated this week
- Interactive neural theorem proving in Lean☆131Updated 3 years ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- ☆41Updated 6 years ago
- ☆16Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Very controlled natural language tactics for Lean☆66Updated last year
- ☆24Updated 3 years ago
- ☆16Updated 5 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆56Updated 5 years ago
- ☆20Updated 3 years ago
- ☆93Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- ☆11Updated last year
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated last month
- ☆26Updated 3 years ago
- The Boole Interactive Reasoning Assistant☆30Updated 11 years ago
- Performant and safe knowledge compilation in rust☆30Updated last month