Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical

(youtube.com)

5 points | by admingirl 16 hours ago ago

No comments yet.