New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper

Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments on Hacker News.


Comments

Post a Comment

Popular posts from this blog

अब ऑनलाइन मिलेगा कैदियों द्वारा बनाया गया खाना, चिकन बिरयानी के साथ मिलेंगे ये आइटम्स

वैयूर सेंट्रल जेल के कैदी पिछल 8 साल से फ्रीडम फूड फैक्ट्री के जरिए विभिन्न तरह के खाना बना रहे हैं जिनमें बिरयानी और रोटी जैसे आइटम शामिल हैं। from Latest And Breaking Hindi News Headlines, News In Hindi | अमर उजाला हिंदी न्यूज़ | - Amar Ujala https://ift.tt/2LgE1F0
Read more