Assistant to the Proof Assistant
www.johnbender.us
A personal blog by John Bender about proof assistants, programming, and computer science.
The site collects writings on computer science topics, with a focus on proof assistants. The author shares explorations and insights in a clear, accessible style. It suits readers interested in formal methods and programming language theory.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- July 2026