@hackage copilot-theorem2.2.1

k-induction for Copilot.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
jonathan.laurent@ens.fr
Links
- Documentation
- No source repository
- Security
Versions
- 4.4 Thu, 8 May 2025
- 4.3 Sat, 8 Mar 2025
- 4.2 Wed, 8 Jan 2025
- 4.1 Fri, 8 Nov 2024
- 4.0 Sun, 8 Sep 2024
- 3.20 Mon, 8 Jul 2024

Installation
In your cabal file:
Dependencies (15)
- base >=4.0 && <5
- containers
- directory
- mtl
- parsec
- process
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.