Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes

@julien.tJulien's actions on nomadic-labs/mi-cho-coq (4)

Resource Action Why
nomadic-labs/mi-cho-coq#1
nomadic-labs/mi-cho-coq#1
formalisation gas Todo
Solve issue julien.t is assigned
nomadic-labs/mi-cho-coq#23
nomadic-labs/mi-cho-coq#23
Todo
Solve issue julien.t is assigned
nomadic-labs/mi-cho-coq!65
WIP: Michocoq Syntax: notation to ease annotations
Fix CI julien.t is the original author and triggered last pipeline
UnWIP julien.t is the original author