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
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
No comments:
Post a Comment