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