aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29 stars
10 watching
21 forks
Language: OCaml
last commit: 19 days ago
Linked from 1 awesome list
coqcoq-cicoq-platformcoq-plugincoq-tacticdocker-coq-actionnix-action