package coqide

  1. Overview
  2. Docs

coqide

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