TLA+ in Isabelle/HOL | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		TLA+ in Isabelle/HOL (davecturner.github.io)
		79 points by kalaracey on Dec 25, 2023 \| hide \| past \| favorite \| 2 comments

iamwil on Dec 25, 2023 | [–]

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

smitty1e on Dec 25, 2023 | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact