leanprover/lean-workbench
Vedi su GitHubOnline Lean Workbench
- Stelle
- 9
- Fork
- 1
- Issue aperte per principianti
- 1
- Issue indicizzate
- 23
- Merge medio
- 2g 3h
- PR unite (30g)
- 35
- Lingua principale
- TypeScript
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 18/9/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
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
leanprover/lean-workbench#142 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover/lean-workbench#140 · 1 commento ·
-
Deal with name collisions Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
leanprover/lean-workbench#132 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 64/100
leanprover/lean-workbench#130 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
leanprover/lean-workbench#127 ·
-
/data folder migrations Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover/lean-workbench#126 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
leanprover/lean-workbench#119 · 1 commento ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
leanprover/lean-workbench#99 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 58/100
leanprover/lean-workbench#90 · 1 reazione ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover/lean-workbench#85 ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
leanprover/lean-workbench#65 ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
leanprover/lean-workbench#62 ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
leanprover/lean-workbench#61 ·
-
Impose resource limits Apertaenhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
leanprover/lean-workbench#55 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
leanprover/lean-workbench#54 ·
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
leanprover/lean-workbench#53 ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100
leanprover/lean-workbench#50 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
leanprover/lean-workbench#49 ·
-
Prettier UI components Apertaenhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
leanprover/lean-workbench#41 ·
-
enhancement
leanprover/lean-workbench#29 · 1 assegnatario ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
leanprover/lean-workbench#26 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
leanprover/lean-workbench#21 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100
leanprover/lean-workbench#16 · 4 commenti ·