3 ms·Formalizing a proof in Lean using GitHub Copilot and canonical [video]1 points by Philpax 1y ago