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.16.1

General Commands

coqide The Coq Proof Assistant graphical interface