Convert formulas to OLP commands in set-theory
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 35/100
- Issue-Typ
- Feature
- Klarheit
- Größtenteils klar
- Aktivitätsstatus
- Veraltet
- Tech-Stack
- tex
- Bereich
- content, documentation
Rechercherichtung
Beginne damit, das Material zur Mengenlehre sowie die Definitionen oder Verwendungen von \lforall und \lexists zu lokalisieren. Überprüfe die im Issue beschriebenen Formalkonventionen, einschließlich !A, bewachter Quantoren, \eq für Identität und atomarer Argumente in Klammern; die Arbeit ist abgeschlossen, wenn das Material diesen Konventionen folgt und bewachte Befehle die angegebene Ausgabe erzeugen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
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).
- Vorherrschende Sprache
- TeX
- Sterne
- 1.4k
- Forks
- 289
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus OpenLogicProject/OpenLogic
-
Russel's Paradox typoOffen
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 65/100
OpenLogicProject/OpenLogic#339 · 1 Kommentar ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 50/100
OpenLogicProject/OpenLogic#436 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
OpenLogicProject/OpenLogic#435 · 1 Kommentar ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
OpenLogicProject/OpenLogic#425 · 1 Kommentar ·
-
Improve docsOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
OpenLogicProject/OpenLogic#390 ·
Alle Issues in OpenLogicProject/OpenLogic
Ähnliche Issues
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 68/100
cline/mcp-marketplace#2881 ·
-
[Project]: TaleOffen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 85/100
lingdojo/kana-dojo#31936 · 1 Kommentar · 5 Reaktionen ·
Maintainer antworten meist innerhalb von 1 Tag
-
[Tool]: TaleOffen
Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 82/100
withkarann/aifoxx#392 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 76/100