package coqide
IDE of the Coq formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
V8.12.1.tar.gz
sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6
Description
CoqIDE is a graphical user interface for interactive development of mathematical definitions, executable algorithms, and proofs of theorems using the Coq proof assistant.
Published: 16 Nov 2020
Dependencies (5)
- conf-adwaita-icon-theme
- lablgtk3-sourceview3
-
conf-findutils
build -
ocamlfind
build -
coq
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page