frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

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

https://www.youtube.com/watch?v=cyyR7j2ChCI
6•admingirl•9mo ago