https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 57f6eb857dfa45b58e830bbc88762b0e8ae779b1 authored by Yann Regis-Gianas on 26 February 2021, 13:49:29 UTC
Verify a vesting contract
Tip revision: 57f6eb8
_CoqProject
-R michocoq/ Michocoq
-R michocott/ Michocott
michocoq
contracts_coq
michocott
back to top