[HN Gopher] The Future of Interactive Theorem Proving?
       ___________________________________________________________________
        
       The Future of Interactive Theorem Proving?
        
       Author : ColinWright
       Score  : 17 points
       Date   : 2022-08-16 21:19 UTC (1 hours ago)
        
 (HTM) web link (xenaproject.wordpress.com)
 (TXT) w3m dump (xenaproject.wordpress.com)
        
       ___________________________________________________________________
       (page generated 2022-08-16 23:00 UTC)