autorun option (via get)
@soonhokong ya está trabajando en esto.
Desde el 29/10/2014.
Evaluación
Este issue todavía no se ha evaluado.
Descripción
- run loaded text automatically
- 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 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 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