Formalizing a Proof in Lean Using GitHub Copilot Only [video]youtube.com4 points·dargscisyhp··0 commentsOpen articleSaveView on HN