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

Pakiet wirtualny: aac-tactics

Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.

Pakiety udostępniające aac-tactics

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