[tlaplus] Announcing PlusPy: Python interpreter for TLA+ specificationsLinkShared 21 April 2020PlusPy: Python interpreter for TLA+ specifications - Announcement at discuss.tlapl.us ↗