Resource | Action | Why |
---|---|---|
nomadic-labs/mi-cho-coq#44 Link to the academical papers in the README | Solve issue | francois opened issue and no one is assigned |
Mnomadic-labs/mi-cho-coq
Dispatchers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(copied from dispatchers)
Issue watchers: No one
(no one)
Labels: beginner
bug
build
ci
coq-of-ocaml 🐓
dexter2
doc
documentation
Doing
Done
formalisation
framework
gas
mergable
optimizer
ott
performance
proto proposal
Release Management Crew
smart-contract verification
state::blocked
state::in-progress
state::in-review
state::ready-to-merge
state::to-do
test
Todo
wp
|