Віртуальний пакунок: aac-tactics
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають aac-tactics
- libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.