coq-ci topic
List
coq-ci repositories
atbr
23
Stars
5
Forks
Watchers
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
