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