Are We Serious About Using TLA+ For Statistical Properties? (by ajessejiryudavis) — discussion
#formalmethods
