microsoft/z3guide
Vedi su GitHubTutorials and courses for Z3
- Stelle
- 123
- Fork
- 34
- Issue aperte per principianti
- 0
- Issue indicizzate
- 13
- Merge medio
- 3h 48m
- PR unite (30g)
- 4
- Lingua principale
- JavaScript
- Licenza
- MIT
- Ultimo push su GitHub
- 23/8/2026
- Ultima indicizzazione
- 19/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
Caricamento delle issue
-
microsoft/z3guide#207 · 1 commento · 1 reazione · 1 assegnatario ·
-
subtype example backwards? Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 35/100
-
updating docusaurus to 3.0 Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 50/100
-
enhancement
-
C# examples Apertacontent enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
-
enhancement
-
analytics through Azure Apertafuture
-
bug content
-
question
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
screen reader support Apertaa11y future
-
keyboard navigation Apertaa11y future
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100