TLA+ in Isabelle/HOLhttps://davecturner.github.io/2018/02/12/tla-in-isabelle.html by kalaracey • 3 years ago 79 2 3 years agoDAdavecturner.github.io