package coqide

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

Install

Dune Dependency

Authors

Maintainers

Sources

V8.5pl2.tar.gz
sha256=c2339575968aff367b4f35d2f77e182204b217326127fbd76235921112e46511
md5=e7570f73e69a6b7490c31df392ed98f7

Description

Published: 12 Jul 2016

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.