package coqide
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
IDE of the Coq formal proof management system
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-8.15.2.tar.gz
sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926
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: 06 Jun 2022
Dependencies (6)
- conf-adwaita-icon-theme
- lablgtk3-sourceview3
-
conf-findutils
build -
dune
>= "2.5.1" -
ocamlfind
build -
coq
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page