[HN Gopher] A Manifesto for Applicable Formal Methods
       ___________________________________________________________________
        
       A Manifesto for Applicable Formal Methods
        
       Author : zdw
       Score  : 9 points
       Date   : 2021-12-28 16:34 UTC (1 days ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | PaulHoule wrote:
       | I am right now dreaming up a demo of using 1st order logic to
       | process financial mess engine standards. Thinking about the gap
       | between concept in reality I know that manifesto is not the droid
       | I am looking for.
        
       ___________________________________________________________________
       (page generated 2021-12-29 23:01 UTC)