add a button to execute Lean code block
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 15/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- content
Línea de trabajo
The issue body names no files, tests, or entry points. First clarify the intended presentation format and Lean execution environment, then locate how code blocks are rendered in this TeX presentation repository; done means an agreed button can execute the displayed Lean code reliably.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Este issue no tiene descripción.
- Lenguaje dominante
- TeX
- Estrellas
- 18
- Forks
- 16
- 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.
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
cline/mcp-marketplace#2881 ·
-
[Project]: TaleAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
lingdojo/kana-dojo#31936 · 1 comentario · 5 reacciones ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 76/100
-
工具推荐：Tale，自托管团队与 AI 代理项目工作空间Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 76/100
YSGStudyHards/Awesome-Tools#137 ·
Los mantenedores suelen responder en 1 día