eifachposteMB to AI (Reddit RSS)English · 21 hours 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 · 21 hours agomessage-square0linkfedilinkfile-text