Package coq-coqide

Coqide IDE for Coq proof management system

https://coq.inria.fr/

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

See also: coq.

General Commands

coqide The Coq Proof Assistant graphical interface