Virtuellt paket: aac-tactics

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller aac-tactics

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)