argumentcomputer/LSpec
Auf GitHub ansehenA Testing Framework for Lean
- Sterne
- 84
- Forks
- 18
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Ø Merge
- 2 T. 16 Std.
- Gemergte PRs (30 T.)
- 2
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 22.8.2026
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
-
bug enhancement
argumentcomputer/LSpec#26 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·