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

#vibecoding #video