Formalizing a proof in Lean using Github copilot and canonical [video]

by oton 6/11/2025, 2:09:12 PM with 1 comment