Formalizing a proof in Lean using Github copilot and canonical [video] (youtube.com) 2 points by ot 1y ago ↗ HN
1 comment
[ 2.5 ms ] story [ 14.8 ms ] thread