rocq-community / atbrLinks

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

Alternatives and similar repositories for atbr

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

Sorting: