Avatar
Hacker News 2y ago

Lean4 helped Terence Tao discover a small bug in his recent paper

Comments ( https://news.ycombinator.com/item?id=38035672 )

https://mathstodon.xyz/@tao/111287749336059662

Reply to this note

Please Login to reply.

Discussion

No replies yet.