coqide

IDE of the Coq formal proof management system
IN THIS PACKAGE
Empty package map

coqide

The coqide package only contains the CoqIDE executable and no OCaml library.