Article URL: http://math.andrej.com/2021/06/24/the-dawn-of-formalized-mathematics/
Comments URL: https://news.ycombinator.com/item?id=27724067
Points: 2
# Comments: 0
from Hacker News: Newest https://ift.tt/3j9mtLp
via IFTTT
Subscribe to:
Post Comments (Atom)
-
Article URL: https://www.dropsitenews.com/p/meta-facebook-tech-copyright-privacy-whistleblower Comments URL: https://news.ycombinator.com/i...
-
By BY THE NEW YORK TIMES from NYT U.S. https://ift.tt/2JDppgp via IFTTT
No comments:
Post a Comment