upstream this generalisation of Mathlib's `smulCommClass_self`, which applies only to
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 45/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Tranquilla
- Ambito
- devtools
Direzione di ricerca
Apri Cslib/Logics/Modal/Lean/SMul.lean alla riga 54 e confronta la generalizzazione referenziata con smulCommClass_self di Mathlib. Determina la forma upstream prevista e la posizione del contributo a Mathlib; il lavoro è completato quando la generalizzazione viene accettata upstream e i controlli Lean pertinenti hanno esito positivo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
- 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 104 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
-
How do I use/work on Boole?Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 28/100
leanprover/cslib#1144 ·
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 64/100
leanprover/cslib#823 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di leanprover/cslib
Issue simili
-
Packages: Check now says nothing, and a repository with no releases just stays "Not installed"Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
keyxmakerx/Chronicle#1700 ·
I maintainer di solito rispondono entro 1 giorno
-
area: frontend bug priority: low
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
snapotter-hq/SnapOtter#3878 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 2 giorni
-
area: devops effort: small good first issue priority: low type: chore
Difficoltà 2/5 Meno di un'ora Idoneità per principianti 86/100
nemsu-dev-org/ShopNow#22 ·
-
type/test
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
SaltedTan/virgil-language-server#218 ·
I maintainer di solito rispondono entro 1 giorno