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

@nguyencharles.nlabsCharles Nguyen's actions on nomadic-labs/mi-cho-coq (13)

Resource Action Why
nomadic-labs/mi-cho-coq!118
Arvid@dexter lemmas and refactorings
Blocking nomadic-labs/mi-cho-coq!100
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!57
Integrate the output of coq-of-ocaml with the interpreter
coq-of-ocaml 🐓
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!62
Functional proof of guestbook contract and simple lifetime property
smart-contract verification
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!98
Dexter 1.1 verification
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!113
Replace String.string_dec by String.eqb in Dexter 2
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!149
Kristina@ctez
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!152
[README] fix broken link to Michelson spec
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher
nomadic-labs/mi-cho-coq!155
Adding support for 8.14
Help add merge-team reviewers nguyencharles.nlabs is a dispatcher