toutes les options
[  bianca  ]
[ Paquet source : coq-corn  ]

Paquet : libcoq-corn (8.20.0-1 et autres)

Liens pour libcoq-corn

Screenshot

Télécharger le paquet source coq-corn :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à libcoq-corn

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-corn

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 8.20.0-1+b4 13 029,6 ko59 076,0 ko [liste des fichiers]
arm64 8.20.0-1+b4 13 028,8 ko59 076,0 ko [liste des fichiers]