Lean 4 — Proof Engineering