Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical Posted by admingirl on Monday May 12, 2025 @01:23AM from the youtube.com dept. https://www.youtube.com/watch?v=cyyR7j2ChCI ( no comments | 2 points | on HN )
There are no comments yet.