소프트웨어 엔지니어를 위한 Lean 증명 분석

Anatomy of a Lean proof for software engineers