tlaplus/Examples
Vedi su GitHubA collection of TLA⁺ specifications of varying complexities.
- Stelle
- 1.6k
- Fork
- 224
- Issue aperte per principianti
- 0
- Issue indicizzate
- 5
- Merge medio
- 7g 16h
- PR unite (30g)
- 4
- Lingua principale
- TLA
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 15/9/2026
- Ultima indicizzazione
- 19/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- help wanted
5 issue aperte indicizzate
Caricamento delle issue
-
question
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Bakery-Boulangerie specs don't satisfy `DeadlockFree` or `StarvationFree` liveness properties Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
help wanted
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100