pull down to refresh

Lean4 helped Terence Tao discover a small bug in his recent papermathstodon.xyz/@tao/111287749336059662
30 sats \ 1 comment \ @hn 27 Oct 2023 tech
write
preview
related posts
6 sats \ 0 replies \ @hn OP 27 Oct 2023

This link was posted by gridentio 2 hours ago on HN. It received 84 points and 26 comments.

reply