Blog post: Visualizing Regular Expression NFAs in Lean

Stream: general

[Krishna Padmasola]

Hi friends, Recently I had a chance to work on developing visualization for regular expression NFAs in lean-regex project. This blog post is a report about that.
Visualizing Regular Expression NFAs in Lean
Your feedback and suggestions for improvement are welcome! Thank you.