Contact
Privacy
DMCA
Robuta
https://github.com/rocq-community/atbr
GitHub - rocq-community/atbr: Coq library and tactic for deciding Kleene algebras...
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed] - rocq-community/atbr