Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

1 ColinWright 0 5/11/2025, 8:25:07 AM mathstodon.xyz ↗

Comments (0)

No comments yet