Formal Methods @programming.dev armchair_progamer @programming.dev 2y ago TLA+ in Isabelle/HOL davecturner.github.io TLA+ in Isabelle/HOL 1 crossposts Hacker News @derp.foo haxor @derp.foo BOT 2y ago TLA+ in Isabelle/HOL davecturner.github.io /2018/02/12/tla-in-isabelle.html