coq

Formal proof management system.
Overview Documentation
Description
Install
Published
20 Apr 2015
Authors
Maintainers
Sources
coq-8.4pl6.tar.gz
md5=2334a98b64578cb81d2b4127e327b368
Dependencies
camlp5
< "8"
ocaml
>= "3.11.2" & < "4.03"
Reverse Dependencies
coqide
= "8.4.6"
why
= "2.32" | = "2.34"
zenon
< "0.8.4"