package coq-corn

  1. Overview
  2. No Docs
The CoRN library

Install

Dune Dependency

corn.cs.ru.nl Edit opam file Versions (8)

Authors

  1. C
    Corn development team

Maintainers

  1. B
    b.a.w.spitters@gmail.com

Sources

e9162eaba7e705e793aad4dbbffdb606aba9b3bb.tar.gz
md5=868d1b9114497c6d92d7f75a9470b64d

Description

Tags

logpath:CoRN

Published: 25 Nov 2015

Dependencies (3)

  1. coq-math-classes
  2. coq >= "8.4pl4" & < "8.5~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None