# 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

- Status:
- Superseded

- Component:
- universe

- Priority:
- Optional

## Downloadable files

- libcoq-corn_8.16.0-2build2_arm64.deb (12.4 MiB)

## Package relationships

- Depends on:
- libcoq-bignums-z6dk7
- libcoq-math-classes-28uk4
- libcoq-stdlib-ca946

- Provides:
- libcoq-corn-9q5l6