[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
TLA+ theory blog post series + new subreddit
From
: Ron Pressler <
r...@xxxxxxxxxxxxxxxxxxx
>
Date
: Thu, 25 May 2017 07:07:12 -0700 (PDT)
Hi.
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.
Ron
Follow-Ups
:
Re: TLA+ theory blog post series + new subreddit
From:
Steven Stewart-Gallus
Re: TLA+ theory blog post series + new subreddit
From:
Ron Pressler
Prev by Date:
Interpreting the DieHarder error trace
Next by Date:
Re: Paramaterized Instantiation and Universal Quantification
Previous by thread:
Re: Interpreting the DieHarder error trace
Next by thread:
Re: TLA+ theory blog post series + new subreddit
Index(es):
Date
Thread