[ bookworm ] [ trixie ] [ sid ]

[ Paquet source : ]

Paquet : libcoq-libhyps (2.0.6-3 et autres) [debports]

Liens pour libcoq-libhyps

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-libhyps

dépendances

recommandations

suggestions

enhances

dep: libcoq-stdlib-n0k10

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-libhyps

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64 (portage non officiel)	2.0.6-3+b2	83,1 ko	406,0 ko	[liste des fichiers]