Welcome to my Blog

a place where I post on various topics

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Categories

Categories

Categories

Visualization 1 post

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.