4 ms·Formalizing a proof in Lean using Github copilot and canonical [video]2 points by ot 1y agodeleted 1y ago[deleted]