leanprover/TensorLib
Ver en GitHubA verified tensor library in Lean
- Estrellas
- 49
- Forks
- 10
- Issues abiertos para principiantes
- 0
- Issues indexados
- 2
- Merge medio
- 4 d 21 h
- PR fusionados (30 d)
- 2
- Lenguaje dominante
- Lean
- Licencia
- Apache-2.0
- Último push a GitHub
- 15/9/2026
- Última indexación
- 20/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
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
leanprover/TensorLib#59 ·
-
Document rounding behavior Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
leanprover/TensorLib#58 ·