Skip to content
Sections
>> Trisquel >> Paketler >> etiona >> virtual >> aac-tactics
[  etiona  ] [  nabia  ] [  aramo  ]

Sanal Paket: aac-tactics

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

aac-tactics sağlayan paketler

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