Paquet : libcoq-flocq (4.2.1-1 et autres)

Liens pour libcoq-flocq

Suivis des correctifs pour eLxr

Télécharger le paquet source flocq :

[flocq_4.2.1-1.debian.tar.xz]
[flocq_4.2.1-1.dsc]
[flocq_4.2.1.orig.tar.bz2]

Responsables :

Debian OCaml Maintainers
Julien Puydt

Ressources externes :

Page d'accueil [flocq.gitlabpages.inria.fr]

Paquets similaires :

libcoq-corn
libcoq-mathcomp-solvable
libcoq-unimath
libcoq-stdlib
libcoq-mathcomp
libcoq-mathcomp-character
libcoq-coquelicot
libcoq-mathcomp-field
libcoq-mathcomp-algebra
libcoq-mathcomp-fingroup
libcoq-mathcomp-ssreflect

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-flocq

dépendances

recommandations

suggestions

enhances

dep: libcoq-stdlib-68yx1

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-flocq

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	4.2.1-1+b2	3 350,2 ko	9 190,0 ko	[liste des fichiers]