TLA+ in Isabelle/HOL | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

TLA+ in Isabelle/HOL(davecturner.github.io)

79 points by kalaracey 2 years ago | 2 comments

TLA+ in Isabelle/HOL | Dark Hacker News

iamwil 2 years ago |

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

smitty1e 2 years ago |

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