Are We Serious About Using TLA+ For Statistical Properties?
Comments ⌘ Read more