>> Trisquel >> Pakketten >> etiona >> virtual >> aac-tactics

[ etiona ] [ nabia ] [ aramo ]

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:

libaac-tactics-coq: Coq tactics for reasoning modulo AC (theories)