package coqide

  1. Overview
  2. No Docs
IDE of the Coq formal proof management system.

Install

Dune Dependency

Authors

Maintainers

Sources

V8.8.0.tar.gz
sha256=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d
md5=9c97bb78eb051178d8b3731ae042c73f

Description

Published: 17 Apr 2018

Dependencies (5)

  1. conf-gtksourceview
  2. lablgtk
  3. coq = "8.8.0"
  4. camlp5
  5. ocaml >= "4.02.3"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.