Learn TLA+: a simple tutorial, toward an implementation of JS/Redux

Plutôt que commencer par les vidéos de référence, il est intéressant de se pencher sur ce tutoriel qui part des bases à grand renfort d'image et de simplicité.

Une fois le tuto lu, il sera facile de comprendre les autres tuto du même auteur, à propos de l'implémentation de Redux en TLA+ ou la modélisation d'un déploiement.