search

coq-community / aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
https://coq-community.org/aac-tactics
Other
29 stars 21 forks source link

adapt to coq/coq#15220 #105

Closed gares closed 2 years ago

gares commented 2 years ago

To be merge when https://github.com/coq/coq/pull/15220 is.