[ bookworm ] [ trixie ] [ sid ]

[ Paquet source : ]

Paquet : libcoq-mtac2 (1.4+8.19-2) [debports]

Liens pour libcoq-mtac2

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-mtac2

dépendances

recommandations

suggestions

enhances

dep: libcoq-stdlib-twvz5

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-unicoq-7sii2

paquet virtuel fourni par libcoq-unicoq

Télécharger libcoq-mtac2

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64 (portage non officiel)	788,2 ko	5 180,0 ko	[liste des fichiers]