Welcome to my Blog

a place where I post on various topics

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Archives

Archives

Archives

2025

23 Aug Visualizing Regular Expression NFAs in Lean

Recently Updated

Visualizing Regular Expression NFAs in Lean

Trending Tags

lean penrose proofwidgets regex

© 2025 Krishna Padmasola. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

lean penrose proofwidgets regex

A new version of content is available.