Shapes and Proofs for Pizza Design