Welcome to my Blog

a place where I post on various topics

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags

Tags

Tags

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.