JoanThibault/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
OCamlNOASSERTION
Stargazers
No one’s star this repository yet.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
OCamlNOASSERTION
No one’s star this repository yet.