Assistant to the Proof Assistant
johnbender.us
A personal blog exploring proof assistants and formal verification in computer science.
A personal weblog where the author writes about proof assistants, formal methods, and programming. Posts often blend hands-on tutorials with theoretical discussions. It appeals to those with an interest in logic, type theory, and verified software.
Checked with Google Web Risk · 1 day ago
- language
- EN
- here since
- July 2026