Lean4 helped Terence Tao discover a small bug in his recent paper
465 by gridentio | 208 comments on Hacker News.
Followers
Labels
Search This Blog
Search This Blog
Popular-Posts
3/Technology/post-list
Music
2/Music/grid-big
Nature
3/Nature/grid-small
Fashion
3/Fashion/grid-small
About Me
Categories
Tags
Translate
Sports
Get All The Latest Updates Delivered Straight Into Your Inbox For Free!
Random-Posts
3/random/post-list
Random
3/random/post-list
Popular Posts
Subscribe Us
Recent-Posts
3/recent/post-list
RECENT
3/recent/post-list
Fashion/hot-posts
Technology
Breaking News
MKRdezign
Powered by Blogger.
Post a Comment