Learning by starting at the end: Writing a Proof in Lean (by iamwil) — discussion

#math #vibecoding