Archive Tags Feed Twitter About

Paul Butcher

Tag - lean

A (somewhat) formally verified implementation of Markdown - 2026-08-08
Formally verified CRUD - 2026-07-18
Lean-ing into Software Engineering - 2026-07-08