Formalising Mathematics: An Introduction (Score: 102+ in 4 hou | Hacker News

Top stories from https://news.ycombinator.com (with 100 score). Contribute to the development here: https://github.com/phil-r/hackernewsbot. Also check https://t.me/designer_news. Contacts: @philr...