/
lemm.ee
Search
Explore
Create
Formal Methods
armchair_progamer
•
10mo ago
•
100%
TLA+ in Isabelle/HOL
https://davecturner.github.io/2018/02/12/tla-in-isabelle.html
7
0
Comments
0
Hot
Top
New