Resource | Action | Why |
---|---|---|
nomadic-labs/tezos#389 nomadic-labs/tezos#389 feature-spec state::in-progress verif-activity | Solve issue | lthms is assigned |
nomadic-labs/tezos#398 nomadic-labs/tezos#398 formal-tools state::in-progress verif-activity | Solve issue | lthms is assigned |
nomadic-labs/tezos#540 nomadic-labs/tezos#540 state::to-do verif-activity | Solve issue | lthms is assigned |
nomadic-labs/tezos#585 nomadic-labs/tezos#585 feature-verif state::to-do verif-activity | Solve issue | lthms is assigned |
nomadic-labs/tezos#660 nomadic-labs/tezos#660 feature-verif safer-impl verif-activity | Solve issue | lthms is assigned |