[HN Gopher] Can the language of proof assistants be used for gen...
       ___________________________________________________________________
        
       Can the language of proof assistants be used for general purpose
       programming?
        
       Author : wslh
       Score  : 3 points
       Date   : 2023-10-27 21:45 UTC (1 hours ago)
        
 (HTM) web link (proofassistants.stackexchange.com)
 (TXT) w3m dump (proofassistants.stackexchange.com)
        
       ___________________________________________________________________
       (page generated 2023-10-27 23:00 UTC)