[HN Gopher] Forge: A Tool to Teach Formal Methods
       ___________________________________________________________________
        
       Forge: A Tool to Teach Formal Methods
        
       Author : todsacerdoti
       Score  : 5 points
       Date   : 2024-04-21 15:14 UTC (7 hours ago)
        
 (HTM) web link (blog.brownplt.org)
 (TXT) w3m dump (blog.brownplt.org)
        
       ___________________________________________________________________
       (page generated 2024-04-21 23:02 UTC)