argumentcomputer/LSpec
Ver en GitHubA Testing Framework for Lean
- Estrellas
- 84
- Forks
- 18
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Merge medio
- 2 d 16 h
- PR fusionados (30 d)
- 2
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 22/8/2026
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
-
Recover from tests that loop Abiertobug enhancement
argumentcomputer/LSpec#26 · 0 comentarios · 0 reacciones · 0 asignados ·