coqide

IDE of the coq formal proof management system
Overview Documentation
Description
Install
Published
20 Apr 2015
Authors
Maintainers
Sources
coq-8.4pl6.tar.gz
md5=2334a98b64578cb81d2b4127e327b368
Dependencies
Reverse Dependencies