Näennäispaketti: aac-tactics

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin aac-tactics

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)