eLxr packagesHľadali ste balíky ktorých názvy obsahujú libcoq-aac-tactics v všetky sady, všetky sekcie a všetky architektúry. Našlo sa 1 zodpovedajúcich balíkov.
Presné výsledky
Balík libcoq-aac-tactics
- bianca (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.20.0-1+b4: amd64 arm64