[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA+ theory blog post series + new subreddit


I published the first in a four-part blog post series about the mathematical theory and design principles of TLA+.

Also, I've created a new subreddit dedicated to TLA+ and related topics, and I invite you all to visit and participate.