TLA+ in Isabelle/HOL

Posted by kalaracey on Monday December 25, 2023 @12:45PM
from the davecturner.github.io dept.

( 2 comments | 37 points | on HN )

Re:TLA+ in Isabelle/HOL by smitty1e on Monday December 25, 2023 @03:16PM (#38765715)

"Temporal Logic of Actions", not "Three Letter Acronym".

[ Parent | on HN ]

Re:TLA+ in Isabelle/HOL by iamwil on Monday December 25, 2023 @05:52PM (#38767062)

Wait, is it a reimplementation of TLA+ in Isabelle?

[ Parent | on HN ]