Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29
stars
21
forks
source link
add tests for try aac_rewrite and try aac_normalise #145
Closed
palmskog closed 5 months ago
As discussed in #144