all options
stretch  ] [  sid  ]
[ Source: aac-tactics  ]

Package: libaac-tactics-ocaml (8.6.1-1)

Links for libaac-tactics-ocaml


Debian Resources:

Download Source Package aac-tactics:


External Resources:

Similar packages:

Coq tactics for reasoning modulo AC (plugin)

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

This package provides the plugin itself.

Other Packages Related to libaac-tactics-ocaml

  • depends
  • recommends
  • suggests
  • enhances

Download libaac-tactics-ocaml

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 107.7 kB519.0 kB [list of files]
arm64 105.4 kB511.0 kB [list of files]
armel 112.3 kB473.0 kB [list of files]
armhf 114.8 kB429.0 kB [list of files]
i386 101.3 kB461.0 kB [list of files]
mips 26.5 kB139.0 kB [list of files]
mips64el 26.5 kB139.0 kB [list of files]
mipsel 26.5 kB139.0 kB [list of files]
ppc64el 26.5 kB139.0 kB [list of files]
s390x 26.5 kB139.0 kB [list of files]