Convert formulas to OLP commands in set-theory
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 35/100
- Type d'issue
- Fonctionnalité
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Stack technique
- tex
- Domaine
- content, documentation
Piste de recherche
Commencez par localiser le matériel de théorie des ensembles ainsi que les définitions ou utilisations de \lforall et \lexists. Examinez les conventions de formule décrites dans l’issue, notamment !A, les quantificateurs gardés, \eq pour l’identité et les arguments atomiques entre parenthèses ; le travail est terminé lorsque le matériel respecte ces conventions et que les commandes gardées produisent la sortie indiquée.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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).
- Langage dominant
- TeX
- Étoiles
- 1.4k
- Forks
- 291
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de OpenLogicProject/OpenLogic
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
OpenLogicProject/OpenLogic#437 ·
-
Russel's Paradox typoOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
OpenLogicProject/OpenLogic#339 · 1 commentaire ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
OpenLogicProject/OpenLogic#435 · 1 commentaire ·
-
Order-type of models of PAOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
OpenLogicProject/OpenLogic#425 · 1 commentaire ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficulté 1/5 Moins d'une heure Accessibilité débutants 61/100
lingdojo/kana-dojo#33465 · 1 commentaire · 5 réactions ·
Les mainteneurs répondent en général sous 1 jour
-
documentation good first issue
Difficulté 1/5 Moins d'une heure Accessibilité débutants 88/100
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 62/100
TheOdinProject/curriculum#31509 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
aliammari1/awesome-ai-tools#447 ·
Les mainteneurs répondent en général sous 11 jours
-
Report: Mooz Dance SDOuvertecheck:passed streams:remove
Difficulté 1/5 Moins d'une heure Accessibilité débutants 62/100
Les mainteneurs répondent en général sous 1 jour