Fix formatting and some uses of MathComp

coq-community / regexp-Brzozowski

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

MIT License

13 stars 1 forks source link

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Format some definitions and proofs. Better use of MathComp concepts.