Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
Why do you think that https://github.com/thaliaarchi/recross-coq 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/thaliaarchi/recross-coq is a good alternative to regexp-Brzozowski