Hacker News new | ask | show | jobs
Formalising Mathematics: An Introduction (xenaproject.wordpress.com)
6 points by hnthwaccount 1971 days ago