libaac-tactics-coq 8.8.0+1.gbp069dc3b-1 (arm64 binary) in ubuntu eoan

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the Coq support library.

Details

Package version:
8.8.0+1.gbp069dc3b-1
Source:
aac-tactics 8.8.0+1.gbp069dc3b-1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Provides:
  • aac-tactics