Closed CohenCyril closed 10 months ago
Fixes #399
Since we dropped compatibility with Coq < 8.16, it is safe to remove the regexs altogthers.
Fixes #399
Since we dropped compatibility with Coq < 8.16, it is safe to remove the regexs altogthers.