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

Re: Easy and fun introduction to TLA+ for children?

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Thu, 28 Sep 2017 22:36:05 -0700 (PDT)
References: <5b7c2515-a9e4-439f-b0df-f42287985e58@googlegroups.com> <755e8201-2642-444f-a40e-07cbe9ee0583@googlegroups.com>

I'm still skeptical, but I'd love to be proved wrong. If you're in the S.F. Bay Area, please contact me privately and let's see if we can get together to discuss this.

Leslie

References:
- Easy and fun introduction to TLA+ for children?
  - From: dmah . . .
- Re: Easy and fun introduction to TLA+ for children?
  - From: a . . .

Prev by Date: Re: [tlaplus] Missing error trace on invariant violation
Next by Date: Re: Why Amazon Chose TLA+
Previous by thread: Re: Easy and fun introduction to TLA+ for children?
Next by thread: Re: Easy and fun introduction to TLA+ for children?
Index(es):
- Date
- Thread