Package coq-coqide
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.20.1
General Commands | |
| coqide | graphical interface for the Coq proof assistant |