tlaf

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
tlaf [2024/10/05 11:55] – fponzitlaf [2024/10/05 11:56] (current) – fponzi
Line 1: Line 1:
 ====== TLAF: TLA+ Foundation ====== ====== TLAF: TLA+ Foundation ======
 Official website: https://foundation.tlapl.us/ 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.1728129356.txt.gz
  • Last modified: 2024/10/05 11:55
  • by fponzi