argumentcomputer/LSpec
Voir sur GitHubA Testing Framework for Lean
- Étoiles
- 84
- Forks
- 18
- Issues débutants ouvertes
- 0
- Issues indexées
- 1
- Merge moyen
- 2 j 16 h
- PR mergées (30 j)
- 2
- Langage dominant
- Lean
- Licence
- MIT
- Dernier push GitHub
- 22/8/2026
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
-
Recover from tests that loop Ouvertebug enhancement
argumentcomputer/LSpec#26 · 0 commentaires · 0 réactions · 0 personnes assignées ·