argumentcomputer/LSpec
Vedi su GitHubA Testing Framework for Lean
- Stelle
- 86
- Fork
- 18
- Issue aperte per principianti
- 0
- Issue indicizzate
- 1
- Merge medio
- 15h 25m
- PR unite (30g)
- 1
- Lingua principale
- Lean
- Licenza
- MIT
- Ultimo push su GitHub
- 22/8/2026
- Ultima indicizzazione
- 14/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
Caricamento delle issue
-
Recover from tests that loop Apertabug enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
argumentcomputer/LSpec#26 ·