- Star
- 0 stelle (0 stelle)
- Fork
- 0 fork (0 fork)
- Issue indicizzate
- 0 issue indicizzate (0 issue indicizzate)
- issue per principianti aperte
- 0 issue per principianti aperte (0 issue per principianti aperte)
- Ultima indicizzazione
- 12 ago 2026
- Ultimo push GitHub
- 15 dic 2013
- Licenza
- Nessun dato sulla licenza
- Guida contributori
- Nessuna guida contributori
- Codice di condotta
- Nessun codice di condotta
- Linguaggio principale
- Coq
- Metriche merge PR
- Nessuna PR mergiata in 30 g (Nessuna PR mergiata in 30 g)
- Label per principianti
- Nessuna label per principianti indicizzata
Nessuna issue indicizzata aperta trovata per questo repository.
