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

Näennäispaketti: aac-tactics

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin aac-tactics

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