coqide

IDE of the Coq formal proof management system
Description
Install
Maintainers
Sources
V8.9.1.tar.gz
md5=b0e47c588ca498073ad35eb5627a8852
Dependencies
Reverse Dependencies