Are We Serious About Using TLA+ For Statistical Properties?

affine · May 10, 2025, 8:55pm