login sign up

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

mathstodon.xyz · first added by @hn_wayback
saved by
1 person
discussions · 1
Lean4 helped Terence Tao discover a small bug in his recent paper 497 pts · 220 comments · Oct 2023 497 pts · 220 comments · Oct 2023
0 people saved or upvoted this