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