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