https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 59555dad0239d010849d40c1a8fb61e7fbb99a24 authored by Yann Regis-Gianas on 05 March 2021, 10:10:33 UTC
Dexter2/Proof: Verify XtzToToken
Tip revision: 59555da
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_dexter.v from root directory 87a5e44943e07e47f54c69e8926b257dd971aa5f not found
back to top