leanprover/fp-lean
Vedi su GitHubFunctional Programming in Lean
- Stelle
- 192
- Fork
- 73
- Issue aperte per principianti
- 0
- Issue indicizzate
- 75
- Lingua principale
- Lean
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 13/8/2026
- Ultima indicizzazione
- 20/9/2026
- Guida per i contributori
- 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à 1/5 Meno di un'ora Idoneità per principianti 92/100
leanprover/fp-lean#301 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
leanprover/fp-lean#299 · 1 commento ·
-
UnusedVariable warning in Point3D pattern matching example (depth function) 1.5.1. Pattern Matching Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
leanprover/fp-lean#298 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
leanprover/fp-lean#296 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
leanprover/fp-lean#291 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
leanprover/fp-lean#283 · 1 commento ·
-
3.1.6.3 HTTP Requests Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/fp-lean#282 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
leanprover/fp-lean#279 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
leanprover/fp-lean#278 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
leanprover/fp-lean#274 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover/fp-lean#271 · 1 commento ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
leanprover/fp-lean#269 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 48/100
leanprover/fp-lean#267 · 1 commento · 1 reazione ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover/fp-lean#266 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
leanprover/fp-lean#265 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
leanprover/fp-lean#263 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 75/100
leanprover/fp-lean#262 ·
-
Typo
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
leanprover/fp-lean#261 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
leanprover/fp-lean#260 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#258 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
leanprover/fp-lean#254 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 63/100
leanprover/fp-lean#252 · 1 commento · 3 reazioni ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 48/100
leanprover/fp-lean#251 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover/fp-lean#250 · 1 reazione ·
-
Typo
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
leanprover/fp-lean#248 · 2 commenti ·
-
`Many` could be more lazy Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100
leanprover/fp-lean#247 · 1 reazione ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
leanprover/fp-lean#246 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#245 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
leanprover/fp-lean#244 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
leanprover/fp-lean#243 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
leanprover/fp-lean#242 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/fp-lean#241 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
leanprover/fp-lean#240 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#239 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
leanprover/fp-lean#238 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
leanprover/fp-lean#237 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
leanprover/fp-lean#236 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#235 ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#234 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover/fp-lean#226 · 1 commento ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
leanprover/fp-lean#202 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 35/100
leanprover/fp-lean#199 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
leanprover/fp-lean#197 · 3 reazioni ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
leanprover/fp-lean#192 · 13 commenti · 4 reazioni ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
leanprover/fp-lean#191 · 3 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
leanprover/fp-lean#180 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
leanprover/fp-lean#177 · 3 commenti ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#175 · 1 reazione ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
leanprover/fp-lean#174 · 1 commento ·
-
Typo
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100
leanprover/fp-lean#172 · 1 reazione ·