tlaplus/Examples
Ver en GitHubA collection of TLA⁺ specifications of varying complexities.
- Estrellas
- 1.6k
- Forks
- 224
- Issues abiertos para principiantes
- 0
- Issues indexados
- 5
- Merge medio
- 7 d 16 h
- PR fusionados (30 d)
- 4
- Lenguaje dominante
- TLA
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 15/9/2026
- Última indexación
- 19/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- help wanted
5 issues abiertos indexados
Cargando issues
-
question
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100
-
Simplify contribution process Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Bakery-Boulangerie specs don't satisfy `DeadlockFree` or `StarvationFree` liveness properties Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
help wanted
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100