stilkov’s Twitter Archive—№ 33,623

RT MarcJBrooker: Mostly, though, it's a plug for TLA+ or P (github.com/p-org/P). If you work with distributed or concurrent protocols…