Hacker News new | ask | show | jobs
TLA+ in Isabelle/HOL (davecturner.github.io)
79 points by kalaracey 899 days ago
2 comments
iamwil 899 days ago
Wait, is it a reimplementation of TLA+ in Isabelle?
link
smitty1e 899 days ago
"Temporal Logic of Actions", not "Three Letter Acronym".
link