Live data from Hacker News

TLA+ in Isabelle/HOL

1–3 of 3 posts

Post by kalaracey » Mon, Dec 25, 2023, 5:45 PM UTC

TLA+ in Isabelle/HOL
davecturner.github.io

Re: TLA+ in Isabelle/HOL

Post by smitty1e » Mon, Dec 25, 2023, 8:16 PM UTC

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

Post by iamwil » Mon, Dec 25, 2023, 10:52 PM UTC

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