[ Quellcode: coq-corn ]
Paket: libcoq-corn (8.19.0+ds1-1)
Links für libcoq-corn
Debian-Ressourcen:
Quellcode-Paket coq-corn herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Coq Constructive Repository at Nijmegen
This library provides different theories for Coq:
- an algebraic hierarchy with an axiomatic formalizationof 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 aboveaxiomatic 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.
Andere Pakete mit Bezug zu libcoq-corn
|
|
|
|
-
- dep: libcoq-bignums-7ez85
- virtuelles Paket, bereitgestellt durch libcoq-bignums
-
- dep: libcoq-math-classes-3uz51
- virtuelles Paket, bereitgestellt durch libcoq-math-classes
-
- dep: libcoq-stdlib-rhfg4
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
libcoq-corn herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
armhf | 13.118,7 kB | 71.126,0 kB | [Liste der Dateien] |