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

*From*: Leslie Lamport <tlapl...@xxxxxxxxx>*Date*: Sat, 23 Apr 2016 14:47:12 -0700 (PDT)*References*: <fbba0e1a-ea57-4f2b-bb51-ecd3ffd52e41@googlegroups.com> <82C39A2A-DF10-466A-9E5E-935AEC24CC03@gmail.com>

Hi Petar,

Stephan is probably right about showing the model checker rather than

the proof system. However, it's impossible to give you good advice

without knowing more about your presentation--in particular, who it's

for, what its purpose is, and how much time you have. You might want

to look at one or more of the presentations I've given that have been

recorded and put on the Web. The one that I expect is most relevant

is at

http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/

You might also suggest that your professor watch it.

Good luck,

Leslie

**References**:**Very simple question by TLA newcomer***From:*Petar Vukmirovic

**Re: [tlaplus] Very simple question by TLA newcomer***From:*Stephan Merz

- Prev by Date:
**Re: [tlaplus] Very simple question by TLA newcomer** - Next by Date:
**Attempted to construct a set with too many elements (>1000000).** - Previous by thread:
**Re: [tlaplus] Very simple question by TLA newcomer** - Next by thread:
**Re: Very simple question by TLA newcomer** - Index(es):