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

Paquet : libcoq-mathcomp-analysis (1.9.0-1 et autres)

Liens pour libcoq-mathcomp-analysis

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

analysis extension for Mathematical Components

This package provides an extension for classical analysis 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-analysis

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-mathcomp-analysis

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 1.9.0-1+b4 17 215,9 ko70 036,0 ko [liste des fichiers]