IDE of the Coq formal proof management system

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: 25 Nov 2022

Dependencies (6)

  1. conf-adwaita-icon-theme
  2. lablgtk3-sourceview3 >= "3.1.2"
  3. conf-findutils build
  4. dune >= "2.5.1"
  5. ocamlfind >= "1.8.1"
  6. coq = version

Reverse Dependencies

    None

Conflicts

    None

Install

Documentation coq.inria.fr Readme LGPL-2.1-only License Edit opam file

Authors

Maintainers

Sources

V8.16.1.tar.gz
sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b