clean up notations and formatting

coq-community / regexp-Brzozowski

Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]

MIT License

12 stars 1 forks source link

Closed palmskog closed 2 years ago