Skip to content
Sections
>> Trisquel >> パッケージ >> etiona >> virtual >> aac-tactics
[  etiona  ] [  nabia  ] [  aramo  ]

仮想パッケージ: aac-tactics

これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。

aac-tactics を提供するパッケージ

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