libcoq-corn 8.16.0-3 (armhf 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-3
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
- libcoq-corn_8.16.0-3_armhf.deb (12.3 MiB)
Package relationships
- Depends on:
- libcoq-bignums-jfgk4
- libcoq-math-classes-lo3a3
- libcoq-stdlib-ii0u4
- Provides:
- libcoq-corn-tsuw3