libcoq-corn 8.16.0-2build2 (arm64 binary) in ubuntu mantic

 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.

Details

Package version:
8.16.0-2build2
Source:
coq-corn 8.16.0-2build2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libcoq-bignums-z6dk7
  • libcoq-math-classes-28uk4
  • libcoq-stdlib-ca946
Provides:
  • libcoq-corn-9q5l6