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