[HN Gopher] Anatomy of a Formal Proof
       ___________________________________________________________________
        
       Anatomy of a Formal Proof
        
       Author : bikenaga
       Score  : 54 points
       Date   : 2025-01-24 18:19 UTC (4 hours ago)
        
 (HTM) web link (www.ams.org)
 (TXT) w3m dump (www.ams.org)
        
       ___________________________________________________________________
       (page generated 2025-01-24 23:00 UTC)