Top
New
🔦
Formalizing a proof in Lean using Github copilot and canonical [video]
by
ot
on 6/11/2025, 2:09 PM
with
0
comments
0