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 coq/coq#18938 (EConstr.ERelevance) #139
Closed
SkySkimmer closed 7 months ago