eifachposteMB to AI (Reddit RSS)English · 2 days agoTerence Tao - Formalizing a proof in Lean using Claude Codeyoutu.beexternal-linkmessage-square0linkfedilinkarrow-up11file-text
arrow-up11external-linkTerence Tao - Formalizing a proof in Lean using Claude Codeyoutu.beeifachposteMB to AI (Reddit RSS)English · 2 days agomessage-square0linkfedilinkfile-text