argumentcomputer/LSpec
Ver en GitHubA Testing Framework for Lean
- Estrellas
- 86
- Forks
- 18
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Merge medio
- 15 h 25 min
- PR fusionados (30 d)
- 1
- 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
Cargando issues
-
Recover from tests that loop Abiertobug enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
argumentcomputer/LSpec#26 ·