Regexp engine in Coq for solving regexp crosswords
Why do you think that https://github.com/ocaml/ocaml-re is a good alternative to recross-coq
Regexp engine in Coq for solving regexp crosswords
Why do you think that https://github.com/ocaml/ocaml-re is a good alternative to recross-coq