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