Virtuelles Paket: aac-tactics

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die aac-tactics bereitstellen

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)