search

coq-community / regexp-Brzozowski

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

Port to Coq 8.14 and MathComp 1.13.0, add meta.yml and boilerplate #7

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

Fixes #4. Fixes #3.