[HN Gopher] A library of formalised undecidable problems in Coq
       ___________________________________________________________________
        
       A library of formalised undecidable problems in Coq
        
       Author : zaik
       Score  : 16 points
       Date   : 2021-04-19 09:01 UTC (14 hours ago)
        
 (HTM) web link (uds-psl.github.io)
 (TXT) w3m dump (uds-psl.github.io)
        
       | ramboenel wrote:
       | sincerament me la suda
        
         | ramboenel wrote:
         | okk
        
           | ramboenel wrote:
           | okkk
        
       ___________________________________________________________________
       (page generated 2021-04-19 23:02 UTC)