[HN Gopher] A Self-Verifying Theorem Prover (2009) [pdf]
       ___________________________________________________________________
        
       A Self-Verifying Theorem Prover (2009) [pdf]
        
       Author : luu
       Score  : 12 points
       Date   : 2021-07-29 20:44 UTC (1 days ago)
        
 (HTM) web link (kookamara.com)
 (TXT) w3m dump (kookamara.com)
        
       | [deleted]
        
       ___________________________________________________________________
       (page generated 2021-07-30 23:01 UTC)