Y youtube.com Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] 2 points 5rest 1 year ago 1 comments
