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

#formalmethods