Package: libcoq-corn
Source: coq-corn
Version: 8.20.0-1build12
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 59075
Depends: libcoq-bignums-h54d6, libcoq-elpi-u1ie0, libcoq-math-classes-pch70, libcoq-stdlib-ey0q7
Provides: libcoq-corn-haj58
Section: ocaml
Priority: optional
Homepage: https://github.com/coq-community/corn
Description: Coq Constructive Repository at Nijmegen
 This library provides different theories for Coq:
  - an algebraic hierarchy with an axiomatic formalization
 of the most common algebraic structures, like setoids,
 monoids, groups, rings, fields, ordered fields, rings of
 polynomials and real and complex numbers;
  - a construction of the real numbers satisfying the above
 axiomatic description;
  - a proof of the fundamental theorem of algebra;
  - a collection of elementary results on real analysis
  including continuity, differentiability, integration,
  Taylor's theorems and the fundamental theorem of calculus;
  - tools for exact real computations like real numbers,
  functions, integrals, graph of functions and differential
  equations.
 .
 Coq is a proof assistant for higher-order logic.
