Skip to content
Sections
>> Trisquel >> Packages >> etiona >> ocaml >> libaac-tactics-ocaml
etiona  ] [  nabia  ] [  aramo  ]
[ Source: aac-tactics  ]

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

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
  • enh: coq
    proof assistant for higher-order logic (toplevel and compiler)

Download libaac-tactics-ocaml

Download for all available architectures
Architecture Package Size Installed Size Files
i386 108.2 kB484 kB [list of files]