tlaplus/Examples
Voir sur GitHubA collection of TLA⁺ specifications of varying complexities.
- Étoiles
- 1.6k
- Forks
- 224
- Issues débutants ouvertes
- 0
- Issues indexées
- 5
- Merge moyen
- 7 j 16 h
- PR mergées (30 j)
- 4
- Langage dominant
- TLA
- Licence
- Aucune donnée de licence
- Dernier push GitHub
- 15/9/2026
- Dernière indexation
- 19/9/2026
- Guide de contribution
- Guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- help wanted
5 issues ouvertes indexées
Chargement des issues
-
question
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
-
Simplify contribution process Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Bakery-Boulangerie specs don't satisfy `DeadlockFree` or `StarvationFree` liveness properties Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
help wanted
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100