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

Re: TLA+ theory blog post series + new subreddit

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Thu, 8 Jun 2017 07:14:06 -0700 (PDT)
References: <e94e6084-b49c-4a75-93dd-cbd941bb2d5b@googlegroups.com> <bbb39abb-6686-4feb-9719-21a706334762@googlegroups.com>

Ron

Follow-Ups:
- Re: TLA+ theory blog post series + new subreddit
  - From: Ron Pressler

References:
- TLA+ theory blog post series + new subreddit
  - From: Ron Pressler
- Re: TLA+ theory blog post series + new subreddit
  - From: Ron Pressler

Prev by Date: Re: [tlaplus] Proving equivalence of AlternatingBit to ABCorrectness
Next by Date: Re: [tlaplus] Proving equivalence of AlternatingBit to ABCorrectness
Previous by thread: Re: TLA+ theory blog post series + new subreddit
Next by thread: Re: TLA+ theory blog post series + new subreddit
Index(es):
- Date
- Thread