Issue di ldct/Noperthedron

Star: (0 stelle)
Fork: (0 fork)
Issue indicizzate: (0 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 17 ago 2026
Ultimo push GitHub: 17 feb 2026
Licenza: Apache License 2.0
Guida contributori: Guida contributori
Codice di condotta: Codice di condotta
Linguaggio principale: Lean
Metriche merge PR: (Nessuna PR mergiata in 30 g)
Label per principianti: Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

Nessuna issue indicizzata aperta trovata per questo repository.