leanprover-community/repl
Vedi su GitHubA simple REPL for Lean 4, returning information about errors and sorries.
- Stelle
- 228
- Fork
- 71
- Issue aperte per principianti
- 1
- Issue indicizzate
- 26
- Merge medio
- 15m
- PR unite (30g)
- 4
- Lingua principale
- Lean
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 16/9/2026
- Ultima indicizzazione
- 18/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à 2/5 1-3 ore Idoneità per principianti 76/100
leanprover-community/repl#164 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover-community/repl#125 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
leanprover-community/repl#122 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover-community/repl#118 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover-community/repl#115 · 16 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover-community/repl#107 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover-community/repl#95 · 2 reazioni ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
leanprover-community/repl#94 · 1 commento ·
-
CPU usage Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover-community/repl#91 · 1 commento ·
-
Fork safety Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
leanprover-community/repl#87 · 2 commenti · 1 reazione ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
leanprover-community/repl#86 · 1 commento ·
-
Server mode Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover-community/repl#84 · 12 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover-community/repl#81 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover-community/repl#77 · 29 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
leanprover-community/repl#76 · 4 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
leanprover-community/repl#66 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover-community/repl#62 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover-community/repl#58 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover-community/repl#53 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
leanprover-community/repl#44 · 36 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover-community/repl#43 · 2 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
leanprover-community/repl#42 · 2 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
leanprover-community/repl#25 · 3 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
leanprover-community/repl#16 · 7 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
leanprover-community/repl#6 · 2 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100