@hackage / rest-rewrite

Rewriting library with online termination checking

0.4.5

Dependents

@hackage / liquid-fixpoint Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
- Version: 8.10.7
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / safe-coupling Relational proof system for probabilistic algorithms
- Version: 0.1.0.1
- Last uploaded: 4 years ago
- License: BSD-3-Clause