GitHub - giacomociti/tla-intro: A gentle intro to TLA+ · GitHub

Name		Name	Last commit message	Last commit date
.vscode		.vscode
demo		demo
dual-writes		dual-writes
img		img
.gitignore		.gitignore
01.Cover.md		01.Cover.md
02.Agenda.md		02.Agenda.md
03.SpecifyingSystems.md		03.SpecifyingSystems.md
04.StateMachines.md		04.StateMachines.md
05.Stuttering.md		05.Stuttering.md
06.SafetyAndLiveness.md		06.SafetyAndLiveness.md
07.References.md		07.References.md

About

A gentle intro to TLA+

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages