leanprover/leanprover.github.io
Vedi su GitHubwww
- Stelle
- 17
- Fork
- 25
- Issue aperte per principianti
- 0
- Issue indicizzate
- 13
- Lingua principale
- HTML
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 13/8/2026
- Ultima indicizzazione
- 20/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
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
leanprover/leanprover.github.io#102 · 2 commenti ·
-
Website Changes Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
leanprover/leanprover.github.io#66 · 1 commento · 3 reazioni ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
leanprover/leanprover.github.io#61 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 38/100
leanprover/leanprover.github.io#38 · 2 commenti ·
-
autorun option (via get) Apertaeditor enhancement
leanprover/leanprover.github.io#21 · 1 assegnatario ·
-
editor enhancement
leanprover/leanprover.github.io#20 · 1 assegnatario ·
-
OneDrive Support Apertaeditor enhancement
leanprover/leanprover.github.io#19 · 1 assegnatario ·
-
editor
leanprover/leanprover.github.io#14 · 1 assegnatario ·
-
editor
leanprover/leanprover.github.io#6 · 1 assegnatario ·
-
help button Apertaeditor
leanprover/leanprover.github.io#5 · 1 assegnatario ·
-
flycheck-like syntax checker Apertaeditor
leanprover/leanprover.github.io#4 · 1 commento · 1 assegnatario ·