rocqideversion
The Rocq Prover --- GTK3 IDE
The Rocq Prover is an interactive theorem prover, or proof assistant. 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 the RocqIDE, a graphical user interface for the development of interactive proofs.
| Author | The Rocq development team, INRIA, CNRS, and contributors |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://rocq-prover.org |
| Issue Tracker | https://github.com/coq/coq/issues |
| Maintainer | The Rocq development team <coqdev@inria.fr> |
| Dependencies |
|
| Source [http] | https://github.com/coq/coq/releases/download/V9.0.0/rocq-9.0.0.tar.gz md5=8d522602d23e7a665631826dab9aa92b sha512=f4f76a6a178e421c99ee7a331a2fd97a06e9c5d0168d7e60c44e3820d8e1a124370ea104ad90c7f87a9a1e9d87b2d0d7d2d387c998feeaed4a75ed04e176a4be |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/rocqide/rocqide.9.0.0/opam |
No package is dependent
