Convert formulas to OLP commands in set-theory
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- content, documentation
Línea de trabajo
Empieza por localizar el material de teoría de conjuntos y las definiciones o usos de \lforall y \lexists. Revisa las convenciones de las fórmulas descritas en el issue, incluidos !A, los cuantificadores con guarda, \eq para la identidad y los argumentos atómicos entre paréntesis; el trabajo está terminado cuando el material sigue esas convenciones y los comandos con guarda producen la salida indicada.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Material from Tim Button in the set-theory part contains formulas. These have formulas hardcoded as \phi instead of !A etc, use \exists and \forall instead of \lexists and \lforall, don't use \eq for identity, and in some cases have atomic formulas without parentheses around arguments. To fix this, will need ability of \lforall and \lexists to have guards, e.g., \lforall(x \in \alpha)[!A(x)] should produce (\forall x \in \alpha), !A(x).
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 289
- 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 OpenLogicProject/OpenLogic
-
Russel's Paradox typoAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
-
Improve docsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
OpenLogicProject/OpenLogic#390 ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
obophenotype/human-phenotype-ontology#11798 ·
-
Add HuskHoardAbiertoaddition
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
awesome-selfhosted/awesome-selfhosted-data#3179 ·
Los mantenedores suelen responder en 1 día
-
[Task] Clean Up About PageAbiertogood first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Progressive-Victory/the-website#653 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
cline/mcp-marketplace#2881 ·