search

coq-community / regexp-Brzozowski

Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
MIT License
12 stars 1 forks source link

boilerplate to support MathComp 1.14.0 and RegLang 1.1.3 #13

Closed palmskog closed 2 years ago