Terence Tao: Formalizing a proof in Lean using Claude Code
r/singularity
•
Generative AI
Submitted by /u/manubfr [link] [comments]