Welcome to my Blog

a place where I post on various topics

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags penrose

Tag

penrose 1

Visualizing Regular Expression NFAs in Lean Aug 23, 2025

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.