• TLA+ in Isabelle/HOL https://davecturner.github.io/2018/02/12/tla-in-isabelle.html 2 comments 25/12/2023

Linked pages

Related searches:

Search whole site: site:davecturner.github.io

Search title: TLA+ in Isabelle/HOL | David Turner says…

See how to search.