# content
Verified and Efficient Matching of Regular Expressions with Lookaround (by agnishom) — discussion

#formalmethods