coq-tactic topic
List
coq-tactic repositories
aac-tactics
29
Stars
21
Forks
Watchers
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
atbr
23
Stars
5
Forks
Watchers
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]