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

Package: libaac-tactics-coq (8.11.0-1)

Coq tactics for reasoning modulo AC (theories)

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

This package provides the Coq support library.

Other Packages Related to libaac-tactics-coq

  • depends
  • recommends
  • suggests

Download libaac-tactics-coq

Download for all available architectures
Architecture Package Size Installed Size Files
all 237.8 kB1769 kB [list of files]