Recipe Catalog

Formally verified recipes encoded as Lean 4 proofs