Formalizing a proof in Lean using Github copilot and canonical [video]youtube.com2 points·ot··0 commentsOpen articleSaveView on HN