Skip to content
Sections
>> Trisquel >> Paquets >> etiona >> virtual >> aac-tactics
etiona  ] [  nabia  ] [  aramo  ]

Paquet virtuel : aac-tactics

Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.

Paquets fournissant aac-tactics

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