Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
Why do you think that https://github.com/rust-lang/regex is a good alternative to regexp-Brzozowski
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
Why do you think that https://github.com/rust-lang/regex is a good alternative to regexp-Brzozowski