leanprover/presentations
Vedi su GitHublean-related presentations
- Stelle
- 18
- Fork
- 15
- Issue aperte per principianti
- 0
- Issue indicizzate
- 1
- Lingua principale
- TeX
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 26/4/2026
- Ultima indicizzazione
- 21/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
1 issue aperta indicizzata
Caricamento delle issue
-
enhancement org-reveal
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
leanprover/presentations#3 · 1 commento ·