Issue di gaearon/formalising-mathematics-notes | Good First Issue

Star: (5 star)
Fork: (0 fork)
Issue indicizzate: (0 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 7 lug 2026
Ultimo push GitHub: 25 mar 2025
Licenza: MIT License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Lean
Metriche merge PR: (Metriche PR in attesa)
Label per principianti: Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

Nessuna issue indicizzata aperta trovata per questo repository.