tlaf

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
tlaf [2024/09/28 15:58] – created - external edit 127.0.0.1tlaf [2024/10/05 11:56] (current) fponzi
Line 1: Line 1:
 ====== TLAF: TLA+ Foundation ====== ====== 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.
  • tlaf.1727539115.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1