coq

Formal proof management system
Description
Install
Published
03 Nov 2016
Authors
Maintainers
Sources
V8.5pl3.tar.gz
md5=66cf2161bbca229c071a0c5132623f15
Dependencies
camlp5 < "8"
ocaml >= "3.12.1" & < "4.06.0"
Reverse Dependencies
coqide = "8.5.3"
why = "2.32" | = "2.34"
why3-coq < "1.3.0"
zenon < "0.8.4"