Convert formulas to OLP commands in set-theory
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- tex
- Ambito
- content, documentation
Direzione di ricerca
Inizia individuando il materiale sulla teoria degli insiemi e le definizioni o gli utilizzi di \lforall e \lexists. Esamina le convenzioni delle formule descritte nell’issue, inclusi !A, i quantificatori con guardia, \eq per l’identità e gli argomenti atomici tra parentesi; il lavoro è completo quando il materiale segue tali convenzioni e i comandi con guardia producono l’output indicato.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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).
- Lingua principale
- TeX
- Stelle
- 1.4k
- Fork
- 289
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di OpenLogicProject/OpenLogic
-
Russel's Paradox typoAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
OpenLogicProject/OpenLogic#339 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
OpenLogicProject/OpenLogic#435 · 1 commento ·
-
Order-type of models of PAAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
OpenLogicProject/OpenLogic#425 · 1 commento ·
-
Improve docsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
OpenLogicProject/OpenLogic#390 ·
Tutte le issue di OpenLogicProject/OpenLogic
Issue simili
-
⚠ needs intervention document structure changed
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
-
community documentation first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 70/100
lingdojo/kana-dojo#31864 · 1 commento · 5 reazioni ·
I maintainer di solito rispondono entro 1 giorno
-
[Server Submission]: loootAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
cline/mcp-marketplace#2866 ·
-
Lynx Download ManagerApertaNew App Request
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
ThatGuySam/doesitarm#1104 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
collabnix/awesome-mcp-lists#179 ·
I maintainer di solito rispondono entro 1 giorno