This contains the first exercises of the TLA+ video course which is kindly provided by Leslie Lamport.
You can use these files and directly open them with the TLA+ toolbox.
This contains the first exercises of the TLA+ video course which is kindly provided by Leslie Lamport.
You can use these files and directly open them with the TLA+ toolbox.