Hacker News new | ask | show | jobs
Formalizing a Proof in Lean Using GitHub Copilot Only [video] (youtube.com)
4 points by dargscisyhp 393 days ago