Paquet virtuel : aac-tactics

Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.

Paquets fournissant aac-tactics

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)