TLAF: TLA+ Foundation

Official website: https://foundation.tlapl.us/

The TLA+ Foundation (TLAF) is an independent, non-profit organization dedicated to fostering the adoption of the TLA+ specification language in industry, academia, and education, guided by the overall goal of advancing the mathematical thinking in software engineering. The TLAF funds development related to TLA+ to broaden its use and facilitate a thriving TLA+ community, encouraging cooperation among members of that community.