leanprover/lean-eval-generator
Vedi su GitHubDeterministic standalone project generator for Lean Eval
- Stelle
- 1
- Fork
- 1
- Issue aperte per principianti
- 0
- Issue indicizzate
- 1
- Merge medio
- 6h 30m
- PR unite (30g)
- 5
- Lingua principale
- Lean
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 28/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
1 issue aperta indicizzata
Caricamento delle issue
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100