How do I use/work on Boole?
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 1/5
- Tempo stimato
- Meno di un'ora
- Idoneità per principianti
- 28/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Attiva
- Ambito
- documentation
Direzione di ricerca
The question points to Cslib/Languages/Boole and the Boole-sandbox branch. Read the README or other guidance in those locations, if present, to determine whether the branch is intended for experimentation and how to use it. Done means providing a clear answer about where the draft is and how someone can explore it.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
I have read your paper on CSLib here: https://arxiv.org/abs/2602.04846 and am quite excited to see Boole in there. In the repo, I see that Boole right now is a placeholder: https://github.com/leanprover/cslib/tree/main/Cslib/Languages/Boole . Is there some draft of Boole in some branch that I can explore?
There is a branch called Boole-sandbox, is this one to play with? https://github.com/leanprover/cslib/tree/Boole-sandbox/Cslib/Languages/Boole
- Lingua principale
- Lean
- Stelle
- 771
- Fork
- 216
- Merge medio
- 3g 3h
- PR unite (30g)
- 116
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
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 leanprover/cslib
-
`listFullBeta_cons_r` should rename to `listFullBeta_concat_r`Forse già presa @lengyijun l’ha presa 103 giorni fa. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/cslib#784 ·
I maintainer di solito rispondono entro 1 giorno
-
logic
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/cslib#74 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
leanprover/cslib#990 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover/cslib#824 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 64/100
leanprover/cslib#823 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di leanprover/cslib
Issue simili
-
P4: low
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
jeffknupp/association#537 ·
-
content good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
godotengine/godot-docs#12467 ·
I maintainer di solito rispondono entro 2 giorni
-
docs priority:P3 size:XS
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 83/100
I maintainer di solito rispondono entro 1 giorno