[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)