Virtueel pakket: aac-tactics

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die aac-tactics bieden:

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)