toutes les options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : mathcomp-bigenough  ]

Paquet : libcoq-mathcomp-bigenough (1.0.2-1 et autres)

Liens pour libcoq-mathcomp-bigenough

Screenshot

Ressources Debian :

Télécharger le paquet source mathcomp-bigenough :

Responsables :

Ressources externes :

Paquets similaires :

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Autres paquets associés à libcoq-mathcomp-bigenough

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-mathcomp-bigenough

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 1.0.2-1+b4 21,4 ko81,0 ko [liste des fichiers]
arm64 1.0.2-1+b4 21,4 ko81,0 ko [liste des fichiers]
ppc64el 1.0.2-1+b5 21,4 ko81,0 ko [liste des fichiers]
riscv64 1.0.2-1+b4 21,4 ko81,0 ko [liste des fichiers]
s390x 1.0.2-1+b4 21,4 ko81,0 ko [liste des fichiers]