[HN Gopher] TLA+ in Isabelle/HOL
       ___________________________________________________________________
        
       TLA+ in Isabelle/HOL
        
       Author : kalaracey
       Score  : 48 points
       Date   : 2023-12-25 17:45 UTC (5 hours ago)
        
 (HTM) web link (davecturner.github.io)
 (TXT) w3m dump (davecturner.github.io)
        
       | smitty1e wrote:
       | "Temporal Logic of Actions", not "Three Letter Acronym".
        
       | iamwil wrote:
       | Wait, is it a reimplementation of TLA+ in Isabelle?
        
       ___________________________________________________________________
       (page generated 2023-12-25 23:00 UTC)