nomadic-labs/coq-tezos-of-ocaml#98
Encodings in 🗂️ Indexable.v
data-encoding
sprint-4
|
Complete task
|
 webmathew
is assigned |
nomadic-labs/coq-tezos-of-ocaml#100
Encodings in ⚗️ Liquidity_baking_repr.v
data-encoding
sprint-4
|
Complete task
|
webmathew
is assigned |
nomadic-labs/coq-tezos-of-ocaml#103
Encodings in 🎲 Sampler.v
data-encoding
|
Complete task
|
webmathew
is assigned |
nomadic-labs/coq-tezos-of-ocaml#101
Encodings in 🧑 Main.v
data-encoding
sprint-4
Blocked by
nomadic-labs/coq-tezos-of-ocaml!560
|
Unblock
|
webmathew
is assigned |
nomadic-labs/coq-tezos-of-ocaml#102
Encodings in 🖼️ Raw_context.v
data-encoding
sprint-4
Blocked by
nomadic-labs/coq-tezos-of-ocaml!560
|
Unblock
|
webmathew
is assigned |
nomadic-labs/coq-tezos-of-ocaml#94
Encodings in 🏗️ Apply_results.v
data-encoding
|
Complete task
|
 clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#105
Encodings in 🦏 Sc_rollup_inbox_repr.v
data-encoding
|
Complete task
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#65
Translate the data-encoding library to Coq
coq-of-ocaml
data-encoding
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#66
Represent the effects of the data-encoding library
coq-of-ocaml
data-encoding
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#67
Specify the data-encoding library
data-encoding
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#68
Verify the data-encoding library
data-encoding
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#69
Sync the data-encoding spec of the environment to the library
data-encoding
|
Solve issue
|
clarus1
opened issue and no one is assigned |
