Learn
Documentation
Packages
Community
OPAM on Github
OPAM
Repository
Documentation
Primer
Quick Install
Basic Usage
Specifying Solver Preferences
FAQ
Go Further
Advanced Install
Advanced Usage
Developing
For Packagers
Packaging
OPAM 1.2 BETA
About OPAM
Platform Blog
#
en
coqide
8.4pl2
latest 8.4pl4
IDE of the coq formal proof management system
Maintainer
contact@ocamlpro.com
Events
Jun 5, 2014
Published
version
8.4pl4
Jun 25, 2013
Published
version
8.4pl2