Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification.
This package contains shared files and the command line interface. For a graphical interface install coq-ide.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 8.19.1-bp156.1.14 info | GA Release | 2024-05-21 | 15 SP6 |
|
|
| 8.13.2-bp155.2.13 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 8.13.2-bp154.1.44 info | GA Release | 2022-05-12 | 15 SP4 |
|
|