koehlma / rigorous
A framework for working with inference rules.
☆10Updated 3 years ago
Alternatives and similar repositories for rigorous:
Users that are interested in rigorous are comparing it to the libraries listed below
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆18Updated 6 months ago
- Python bindings for the egg-smol rust library☆68Updated this week
- The DRAT-trim proof checker☆54Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Pedagogical first-order prover in Python☆74Updated last month
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Python client for coq-lsp☆31Updated 4 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆41Updated last week
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Updated 6 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 10 months ago
- ☆36Updated 5 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 9 months ago
- Types for Python☆87Updated 6 years ago
- Rigorous Global Branch-and-Bound Optimizer☆23Updated 2 months ago
- ☆20Updated this week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- A Coq formalisation of the R programming language☆10Updated 2 years ago
- ☆30Updated 6 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated this week
- ☆10Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Very controlled natural language tactics for Lean☆63Updated last year
- Implementation of higher-order logic in Python☆64Updated last year
- ☆34Updated 7 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 4 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 3 months ago