[ bianca ]

[ Paquet source : aac-tactics ]

Paquet : libcoq-aac-tactics (8.20.0-1 et autres)

Liens pour libcoq-aac-tactics

Suivis des correctifs pour eLxr

Télécharger le paquet source aac-tactics :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the Coq support library.

Autres paquets associés à libcoq-aac-tactics

dépendances

recommandations

suggestions

enhances

dep: libcoq-core-ocaml-29kh7 [amd64]

paquet virtuel fourni par libcoq-core-ocaml
dep: libcoq-core-ocaml-ub9d2 [arm64]

paquet virtuel fourni par libcoq-core-ocaml
dep: libcoq-stdlib-1ns11 [arm64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

paquet virtuel fourni par libcoq-stdlib
dep: libstdlib-ocaml-m4xw9

paquet virtuel fourni par libstdlib-ocaml
dep: libzarith-ocaml-h79v1

paquet virtuel fourni par libzarith-ocaml

Télécharger libcoq-aac-tactics

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	8.20.0-1+b4	385,3 ko	2 885,0 ko	[liste des fichiers]
arm64	8.20.0-1+b4	391,2 ko	3 101,0 ko	[liste des fichiers]