Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29
stars
21
forks
source link
Adapt to https://github.com/coq/coq/pull/19310 #148
Closed
proux01 closed 4 months ago
Adapt to https://github.com/coq/coq/pull/19310
This is backward compatible and can be merged without waiting.