https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 57f6eb857dfa45b58e830bbc88762b0e8ae779b1 authored by Yann Regis-Gianas on 26 February 2021, 13:49:29 UTC
Verify a vesting contract
Tip revision: 57f6eb8
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_interface.v from root directory db8be60e6e40902cadf14e3422fb17fb8cb54967 not found
back to top