4 ms·(Coq based) Verified Matching of Regular Expressions with Lookarounds2 points by agnishom 2y ago