Issue di leanprover-community/mathlib4

Star: (3869 stelle)
Fork: (1592 fork)
Issue indicizzate: (17 issue indicizzate)
issue per principianti aperte: (17 issue per principianti aperte)
Ultima indicizzazione: 10 ago 2026
Ultimo push GitHub: 16 ago 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: good first issuehelp wanted

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.