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
.gitignore
micheline_parser.v
*.ml
*.mli
_build/
*.native
back to top