leanprover/lean4-cli
Vedi su GitHubA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Stelle
- 120
- Fork
- 30
- Issue aperte per principianti
- 0
- Issue indicizzate
- 2
- Merge medio
- 5m
- PR unite (30g)
- 4
- Lingua principale
- Lean
- Licenza
- MIT
- Ultimo push su GitHub
- 16/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
2 issue aperte indicizzate
Caricamento delle issue
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
leanprover/lean4-cli#89 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
leanprover/lean4-cli#2 ·