[HN Gopher] Dafny is a verification-aware programming language
       ___________________________________________________________________
        
       Dafny is a verification-aware programming language
        
       Author : r9295
       Score  : 5 points
       Date   : 2024-04-23 19:18 UTC (3 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       ___________________________________________________________________
       (page generated 2024-04-23 23:01 UTC)