atbr
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
23 stars
13 watching
5 forks
Language: Coq
last commit: 19 days ago coqcoq-cicoq-plugincoq-tactickleene-algebra
atbr Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]