package coqide

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

Install

Dune Dependency

Authors

Maintainers

Sources

V8.5.tar.gz
sha256=1af77608d3506bfd22e6b2a40929b42d1692dd96e234153882b3d60c6efac2fe
md5=8ee5081f50277c531a0467299ee8c02d

Description

Published: 21 Jan 2016

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.