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

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)