Are We Serious About Using TLA+ For Statistical Properties?
https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
Discussions: https://discu.eu/q/https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
Are We Serious About Using TLA+ For Statistical Properties?
https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
Discussions: https://discu.eu/q/https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/compsci_discussions/statuses/114496519344749193 on your instance and quote it. (Note that quoting is not supported in Mastodon.)