HN
Hacker News
Top
New
Best
Ask
Show
Jobs
TLA+ in Isabelle/HOL | Hacker News Reader
TLA+ in Isabelle/HOL
davecturner.github.io
79 points
·
kalaracey
·
·
2 comments
Open article
Save
View on HN
iamwil
·
Wait, is it a reimplementation of TLA+ in Isabelle?
smitty1e
·
"Temporal Logic of Actions", not "Three Letter Acronym".
Reply on news.ycombinator.com