Tarkennettu haku
[  bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-corn  ]

Paketti: libcoq-corn (8.18.0-1)

Links for libcoq-corn

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq-corn:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Coq Constructive Repository at Nijmegen

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.

Muut pakettiin libcoq-corn liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcoq-corn

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 13,157.0 kt72,013.0 kt [tiedostoluettelo]
arm64 13,156.9 kt72,013.0 kt [tiedostoluettelo]
armhf 13,153.0 kt71,963.0 kt [tiedostoluettelo]
i386 13,153.4 kt71,963.0 kt [tiedostoluettelo]
ppc64el 13,156.2 kt72,013.0 kt [tiedostoluettelo]
s390x 13,157.1 kt72,013.0 kt [tiedostoluettelo]