Issue di leanprover-community/mathlib3

Star: (1667 stelle)
Fork: (290 fork)
Issue indicizzate: (0 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 16 ago 2026
Ultimo push GitHub: 30 ott 2023
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

Nessuna issue indicizzata trovata per questo repository.