coq

Formal proof management system
Description
Install
Published
18 Jul 2017
Authors
Maintainers
Sources
V8.6.1.tar.gz
md5=17d6a99370458b752a45299b9197c29b
Dependencies
camlp5 < "8"
ocaml >= "4.01.0" & < "4.06.0"
Reverse Dependencies
coqide = "8.6.1"
why = "2.32" | = "2.34"
why3-coq < "1.5.0"
zenon < "0.8.4"