leanprover/leanprover.github.io
Ver en GitHubwww
- Estrellas
- 17
- Forks
- 25
- Issues abiertos para principiantes
- 0
- Issues indexados
- 13
- Lenguaje dominante
- HTML
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 13/8/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
- Métricas de merge de PR
- Sin PR fusionados en 30 d
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100
leanprover/leanprover.github.io#102 · 2 comentarios ·
-
Website Changes Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100
leanprover/leanprover.github.io#66 · 1 comentario · 3 reacciones ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
leanprover/leanprover.github.io#61 · 1 comentario ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 25/100
-
enhancement
Dificultad 2/5 1-3 horas Aptitud para principiantes 38/100
leanprover/leanprover.github.io#38 · 2 comentarios ·
-
autorun option (via get) Abiertoeditor enhancement
leanprover/leanprover.github.io#21 · 1 asignado ·
-
editor enhancement
leanprover/leanprover.github.io#20 · 1 asignado ·
-
OneDrive Support Abiertoeditor enhancement
leanprover/leanprover.github.io#19 · 1 asignado ·
-
editor
leanprover/leanprover.github.io#14 · 1 asignado ·
-
editor
leanprover/leanprover.github.io#6 · 1 asignado ·
-
help button Abiertoeditor
leanprover/leanprover.github.io#5 · 1 asignado ·
-
flycheck-like syntax checker Abiertoeditor
leanprover/leanprover.github.io#4 · 1 comentario · 1 asignado ·