leanprover/lean4-cli
Auf GitHub ansehenA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Sterne
- 120
- Forks
- 30
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 2
- Ø Merge
- 5 Min.
- Gemergte PRs (30 T.)
- 4
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 16.9.2026
- Zuletzt indexiert
- 20.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
Bisher 2 offene Issues indexiert
Issues werden geladen
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 52/100
leanprover/lean4-cli#89 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
leanprover/lean4-cli#2 ·