>> Trisquel >> Balíky >> nabia >> virtual >> aac-tactics

[ etiona ] [ nabia ] [ aramo ]

Virtuálny balík: aac-tactics

Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.

Balíky poskytujúce aac-tactics

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