coq

Formal proof management system
Description
Install
Published
18 Jul 2016
Maintainers
Sources
V8.5pl2.tar.gz
md5=e7570f73e69a6b7490c31df392ed98f7
Dependencies
ocaml
>= "4.02.0" & < "4.06.0"
Reverse Dependencies
why
= "2.32" | = "2.34"
why3-coq
< "1.3.0"
zenon
< "0.8.4"