Formalizing a proof in Lean using GitHub Copilot and canonical [video]youtube.com1 point·Philpax··0 commentsOpen articleSaveView on HN