rocq-community / atbrLinks

Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
24Updated 10 months ago

Alternatives and similar repositories for atbr

Users that are interested in atbr are comparing it to the libraries listed below

Sorting: