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

by ot on 6/11/2025, 2:09:12 PM with 0 comments