Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
29
stars
21
forks
source link
Backport master fixes and improvements to 8.15 #115
Closed
palmskog closed 2 years ago
#[export]locality instead of#[global]whenever possible