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

2 ot 0 6/11/2025, 2:09:12 PM youtube.com ↗

Comments (0)

No comments yet