Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29
stars
21
forks
source link
Adapt w.r.t. coq/coq#15142. #102
Closed
ppedrot closed 3 years ago
Should be backwards compatible.