IntersectMBO/formal-ledger-specifications
Formal specifications of the Cardano ledger
IntersectMBO/formal-ledger-specifications è adatto ai principianti?
I maintainer di IntersectMBO/formal-ledger-specifications di solito rispondono a una pull request entro 3 giorni. In questo momento è aperta 1 issue adatta ai principianti.
- Stelle
- 52
- Fork
- 20
- Issue aperte per principianti
- 1
- Issue indicizzate
- 172
- Merge medio
- 4g 3h
- PR unite (30g)
- 8
- Lingua principale
- Agda
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 4/11/2026
- Ultima indicizzazione
- 17/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Codice di condotta
- Label per principianti
- good first issue help wanted
Come contribuire a IntersectMBO/formal-ledger-specifications
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- Leggi il suo codice di condotta: vale per issue e pull request tanto quanto per la chat.
- I tuoi contributi saranno pubblicati con la licenza Apache-2.0 del progetto.
- Scegli la issue aperta adatta ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
conformance era: conway era: dijkstra sts:UTXO
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1372 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 1-2 giorni Idoneità per principianti 48/100
IntersectMBO/formal-ledger-specifications#1366 · 1 commento ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra Leios sts:CHAIN
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1365 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1325 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance era: alonzo era: shelley-ma era:conway
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1323 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1321 ·
I maintainer di solito rispondono entro 3 giorni
-
era:conway property status:idea sts:CHAIN
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1312 ·
I maintainer di solito rispondono entro 3 giorni
-
[Property tracking] improved design: replace prose marker with typechecked statement-proof pairAperta🛠️ infrastructure documentation
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1311 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1293 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
IntersectMBO/formal-ledger-specifications#1287 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100
IntersectMBO/formal-ledger-specifications#1284 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1281 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
IntersectMBO/formal-ledger-specifications#1279 ·
I maintainer di solito rispondono entro 3 giorni
-
[Dijkstra] Rewire LEDGER-pov to consume the proved PoV modules and drop the discharged parametersApertaCIP 159 era: dijkstra property
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1277 ·
I maintainer di solito rispondono entro 3 giorni
-
[Dijkstra] Discharge the no-truncation withdrawal bounds (ENTITIES/SUBENTITIES-wdrls-bounded)ApertaCIP 159 era: dijkstra property
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1275 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1269 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance era: dijkstra
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1264 ·
I maintainer di solito rispondono entro 3 giorni
-
era: conway property
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1260 ·
I maintainer di solito rispondono entro 3 giorni
-
bug era: shelley
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1259 · 1 commento ·
I maintainer di solito rispondono entro 3 giorni
-
documentation era: dijkstra
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1257 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance era: conway
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1249 ·
I maintainer di solito rispondono entro 3 giorni
-
discuss in meeting era: conway
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
IntersectMBO/formal-ledger-specifications#1248 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1246 · 1 reazione ·
I maintainer di solito rispondono entro 3 giorni
-
era: conway property status:stated
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1232 ·
I maintainer di solito rispondono entro 3 giorni
-
era: conway property status:stated
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1231 ·
I maintainer di solito rispondono entro 3 giorni
-
era: conway property status:stated
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1230 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra property
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
IntersectMBO/formal-ledger-specifications#1227 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra property
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1213 ·
I maintainer di solito rispondono entro 3 giorni
-
[Dijkstra] Move `Coin-TokenAlgebra` to a shared locationForse di nuovo libera @williamdemeo l’ha presa 187 giorni fa e non c’è nessuna pull request aperta. Apertadiscussion easy era: dijkstra refactor
IntersectMBO/formal-ledger-specifications#1183 · 1 assegnatario ·
I maintainer di solito rispondono entro 3 giorni
-
conformance discussion era: dijkstra
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
IntersectMBO/formal-ledger-specifications#1181 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance discussion era: dijkstra
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
IntersectMBO/formal-ledger-specifications#1180 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1172 ·
I maintainer di solito rispondono entro 3 giorni
-
era: conway
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
IntersectMBO/formal-ledger-specifications#1171 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1158 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra nested transactions
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1155 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra nested transactions
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1154 ·
I maintainer di solito rispondono entro 3 giorni
-
[Dijkstra] CIP-159-11: Prove preservation of value and invariant properties for CIP-159Forse di nuovo libera @williamdemeo l’ha presa 203 giorni fa e non c’è nessuna pull request aperta. ApertaCIP 159 era: dijkstra
IntersectMBO/formal-ledger-specifications#1123 · 1 assegnatario ·
I maintainer di solito rispondono entro 3 giorni
-
[Dijkstra] CIP-159 MASTER PLAN: Formalize Account Address EnhancementForse di nuovo libera @carlostome l’ha presa 216 giorni fa e non c’è nessuna pull request aperta. ApertaCIP 159 era: dijkstra
IntersectMBO/formal-ledger-specifications#1112 · 2 assegnatari ·
I maintainer di solito rispondono entro 3 giorni
-
Support unknown cost modelsApertaconformance era: conway
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1108 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance era: conway
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1104 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance era: conway
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
IntersectMBO/formal-ledger-specifications#1098 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1086 ·
I maintainer di solito rispondono entro 3 giorni
-
Where will the formal specification of the block header validity rules live?Forse di nuovo libera @williamdemeo l’ha presa 179 giorni fa e non c’è nessuna pull request aperta. Aperta
IntersectMBO/formal-ledger-specifications#1073 · 4 commenti · 1 reazione · 1 assegnatario ·
I maintainer di solito rispondono entro 3 giorni
-
"legacy" specifications not linked toForse di nuovo libera @williamdemeo l’ha presa 272 giorni fa e non c’è nessuna pull request aperta. Aperta
IntersectMBO/formal-ledger-specifications#1072 · 1 commento · 1 assegnatario ·
I maintainer di solito rispondono entro 3 giorni
-
era: alonzo
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
IntersectMBO/formal-ledger-specifications#1062 ·
I maintainer di solito rispondono entro 3 giorni
-
Implement txSize checkAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1061 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra nested transactions
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
IntersectMBO/formal-ledger-specifications#1054 ·
I maintainer di solito rispondono entro 3 giorni
-
era: alonzo
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1041 ·
I maintainer di solito rispondono entro 3 giorni
-
conformance
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
IntersectMBO/formal-ledger-specifications#1029 ·
I maintainer di solito rispondono entro 3 giorni
-
era: dijkstra nested transactions
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
IntersectMBO/formal-ledger-specifications#1026 ·
I maintainer di solito rispondono entro 3 giorni
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.