Coqide IDE for Coq proof management system
Coq is a formal proof management system. It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.
This package provides CoqIDE, a graphical user interface for the
development of interactive proofs.
Version: 8.16.1
General Commands | |
| coqide | The Coq Proof Assistant graphical interface |