https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: e8f74dfd815040efcf6d88ce32a1f14ab9f83263 authored by Colin González on 05 March 2021, 14:06:39 UTC
Proof for updateTokenPool
Tip revision: e8f74df
Error
404

Resource not found

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