Package rocq-rocqide
RocqIDE for the Rocq proof management system
Rocq 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 RocqIDE, a graphical user interface for the
development of interactive proofs.
Version: 9.1.1
General Commands | |
| rocqide | graphical interface for the Rocq Prover |