Visualizing Regular Expression NFAs in Lean

The lean-regex project implements a formally verified regular expression engine for the Lean programming language. It is authored and maintained by pandaman. It has a few newcomer-friendly issues, ...