Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Abstract logic satisfaction relation hardcoded

Abierto
  • ¿Algo no está bien?
#55 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
48/100
Tipo de issue
Refactorización
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
tex
Área
documentation

Línea de trabajo

Localiza el capítulo sobre el theorem de Lindström y open-logic-config.sty, y compara la relación codificada de forma fija \models_L con el enfoque configurable \Sat mencionado en el issue. Se considera terminado cuando el capítulo ya no codifica la relación de forma fija y el libro de texto se compila correctamente.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

The Lindström's theorem chapter hard-codes the abstract logic satisfaction relation as \models_L. Needs to be replaced by something defined in open-logic-config.sty à la \Sat

Lenguaje dominante
TeX
Estrellas
1.4k
Forks
289
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

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de OpenLogicProject/OpenLogic

Todos los issues de OpenLogicProject/OpenLogic

Issues similares

Más issues de Documentation

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.