kleene-algebra topic

Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]

coq-community