[HN Gopher] The Dawn of Formalized Mathematics ___________________________________________________________________ The Dawn of Formalized Mathematics Author : matt_d Score : 24 points Date : 2021-07-03 19:24 UTC (3 hours ago) (HTM) web link (math.andrej.com) (TXT) w3m dump (math.andrej.com) ___________________________________________________________________ (page generated 2021-07-03 23:00 UTC)