Visualizing Regular Expression NFAs in LeanThe 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, ... Aug 23, 2025 Visualization