Paquet virtuel : aac-tactics
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant aac-tactics
- libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.