package coq-corn

  1. Overview
  2. No Docs
The CoRN library. A library for constructive analysis

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

8.8.1.zip
md5=8fb4305a8b6041aab68e503a9eb97510

Description

Published: 21 Sep 2018

Dependencies (3)

  1. coq-math-classes >= "8.8.1"
  2. coq >= "8.6" & < "8.9~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None