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

1.2.0.zip
md5=00b0a8cc680146bbcb7933172fcbd04e

Description

Published: 30 Oct 2017

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None