Hello, World!

Welcome to Proofs and Intuitions! This is a blog about mathematics, formal verification, and the ideas that connect them.