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
0 issue adatte ai principianti aperte
Caricamento delle issue
Nessuna issue da mostrare. Mostra tutto ciò che abbiamo indicizzato