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:
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- ☆21Updated last year
- ☆14Updated 2 years ago
- ☆27Updated 3 years ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Bonn Lean course for winter 24/25☆33Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Convex optimization modeling in Lean 4☆51Updated last year
- ☆50Updated 3 years ago
- ☆10Updated this week
- Metamath verifier in Python☆40Updated 2 months ago
- Formal grammars in Lean 3☆8Updated last year
- Conservative floating point interval arithmetic in Lean☆18Updated this week
- ☆16Updated 4 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- ☆16Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- ☆48Updated last month
- ☆18Updated 3 years ago
- ☆92Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Template for Lean<->Rust FFI☆13Updated last year
- An LLVM interface for Lean 4. (WIP)☆22Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆37Updated last month
- ☆23Updated 3 years ago