47 Forks
217 Stars
217 Watchers

learntla-v2

Learn TLA+ for free! No prior experience necessary!

How to download and setup learntla-v2

Open terminal and run command
git clone https://github.com/hwayne/learntla-v2.git
git clone is used to create a copy or clone of learntla-v2 repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with learntla-v2 https://github.com/hwayne/learntla-v2/archive/master.zip

Or simply clone learntla-v2 with SSH
[email protected]:hwayne/learntla-v2.git

If you have some problems with learntla-v2

You may open issue on learntla-v2 support forum (system) here: https://github.com/hwayne/learntla-v2/issues