Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29
stars
21
forks
source link
consistent naming scheme for instances #126
Closed
palmskog closed 1 year ago
Also, use Stdlib in more consistent way.
Fixes #123