Proofs and Intuitions
proofsandintuitions.net
A blog about mathematics, computing, formal verification, and the ideas behind them.
A personal blog by a researcher or enthusiast exploring the interplay between mathematical proofs and computational intuition. Posts cover topics like formal verification and programming language theory with a thoughtful, explanatory approach. Suited for readers who enjoy technical exposition that bridges theory and practice.
Checked with Google Web Risk · 12 hours ago
- language
- EN
- here since
- July 2026