Formalizing a proof in Lean using GitHub Copilot and canonical [video]

 (youtube.com)

1 points | by Philpax 4 hours ago ago

No comments yet.