▲ 1 pointsFormalizing a proof in Lean using GitHub Copilot and canonical [video]youtube.comby Philpax·1y ago·0 comments·view on hn ↗