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

Paquet : libcoq-mathcomp-bigenough (1.0.1-8 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
ppc64el 1.0.1-8+b4 25,7 ko98,0 ko [liste des fichiers]