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