Formalizing a proof in lean using GitHub Copilot and canonical (via andrewballinger) — discussion
#vibecoding #video
