How to contribute a Chinese translation for homepage?
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 20/100
- Tipo de issue
- Documentación
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- html
- Área
- documentation, localization
Línea de trabajo
El issue menciona la página de inicio y las traducciones de Functional Programming in Lean y Theorem Proving in Lean, pero no indica archivos, pruebas, instrucciones para contribuir ni un criterio de finalización. Primero aclara si la página de inicio, las dos traducciones de los libros o ambas deben formar parte del repositorio oficial y qué proceso de contribución debe seguirse.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
How to contribute a Chinese translation for homepage? By the way, we are translating Functional Programming in Lean and Theorem Proving in Lean. Should I merge it into the official repo?
- Lenguaje dominante
- HTML
- Estrellas
- 17
- Forks
- 25
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de leanprover/leanprover.github.io
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100
leanprover/leanprover.github.io#102 · 2 comentarios ·
-
Website ChangesAbierto
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 ·
Todos los issues de leanprover/leanprover.github.io
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
MicrosoftLearning/PL-400_Microsoft-Power-Platform-Developer#231 ·
-
docs good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
VenetoStato/giorgio#6 ·
-
Define shape of paymentAbiertospecification
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
WICG/webmonetization#754 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
linagora/twake-on-matrix#3446 ·
Los mantenedores suelen responder en 3 días
-
feature request
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Los mantenedores suelen responder en 2 días