Pakiet wirtualny: aac-tactics

Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.

Pakiety udostępniające aac-tactics

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)