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

Re: [tlaplus] TLA+ for beginners

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Fri, 25 Nov 2016 23:54:40 +0100
References: <15be685c-4372-4004-adc7-91dbef9ace52@googlegroups.com> <bd49e078-bd80-8b4d-4c08-057485ffee63@lemmster.de>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0

On 25.11.2016 23:33, Markus Alexander Kuppe wrote:
> Hi Abay,
> 
> I've made a very basic TLA+ Toolbox for Beginners screencast [1] to help
> you get started.
> 
> Cheers
> Markus
> 
> [1] https://vimeo.com/193107865


Youtube seems superior to Vimeo ~> https://youtu.be/U2FAnyPygrA has
captions.

M.

References:
- TLA+ for beginners
  - From: Abay
- Re: [tlaplus] TLA+ for beginners
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] TLA+ for beginners
Next by Date: Rigid and flexible variables
Previous by thread: Re: [tlaplus] TLA+ for beginners
Next by thread: Rigid and flexible variables
Index(es):
- Date
- Thread