We are excited to announce the launch of the TLA+ Foundation, under the umbrella of the Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners.
Learn more: hubs.la/Q01MjLDM0 (https://hubs.la/Q01MjLDM0)
https://nitter.moomoo.me/linuxfoundation/status/1649397576611840010#m