@hackage copilot-theorem3.1

k-induction for Copilot.

Installation
In your cabal file:
Dependencies (14)
- base >=4.9 && <5
- containers >=0.4 && <0.7
- directory >=1.3 && <1.4
- mtl >=2.0 && <2.3
- parsec >=2.0 && <3.2
- process >=1.6 && <1.7
Dependents (4)
@hackage/copilot-verifier, @hackage/copilot-libraries, @hackage/copilot-language, @hackage/copilot

Some tools to prove properties on Copilot programs with k-induction model checking.