Formalizing a Proof in Lean Using GitHub Copilot Only [video](youtube.com)
youtube.com
Formalizing a Proof in Lean Using GitHub Copilot Only [video]
https://www.youtube.com/watch?v=c1ixXMtmfS8
0 comments
—
https://www.youtube.com/watch?v=c1ixXMtmfS8
—