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

Re: TLA+ community event 2016

From: Andrew Helwer <andrew...@xxxxxxxxx>
Date: Thu, 29 Sep 2016 08:40:32 -0700 (PDT)
References: <777255e9-99f9-4a4f-87ab-5a0f17be31dc@googlegroups.com> <35862ec6-d90d-4a64-8952-29fb5678cac3@googlegroups.com> <31d19726-466a-4dbf-85d2-1351555d32f5@googlegroups.com>

Aw shucks. Wasn't someone going to present a TLA+ visualization module? This was mentioned back in my thread on the analysis of Runway.

Follow-Ups:
- Re: [tlaplus] TLA+ community event 2016
  - From: Stephan Merz

References:
- TLA+ community event 2016
  - From: Stephan Merz
- Re: TLA+ community event 2016
  - From: Stephan Merz
- Re: TLA+ community event 2016
  - From: Stephan Merz

Prev by Date: mathematics versus reality
Next by Date: Re: [tlaplus] TLA+ community event 2016
Previous by thread: Re: TLA+ community event 2016
Next by thread: Re: [tlaplus] TLA+ community event 2016
Index(es):
- Date
- Thread