Tarkennettu haku
[  bianca  ]
[ Source: coq-corn  ]

Paketti: libcoq-corn (8.20.0-1 ja muut)

Links for libcoq-corn

Screenshot

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 Versio Paketin koko Koko asennettuna Tiedostot
amd64 8.20.0-1+b4 13,029.6 kt59,076.0 kt [tiedostoluettelo]
arm64 8.20.0-1+b4 13,028.8 kt59,076.0 kt [tiedostoluettelo]