https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 6ba8ea5c33ed9df4a4f6be9fd3e2a5030aae9237 authored by Yann Regis-Gianas on 03 March 2021, 13:20:01 UTC
Make mutez more readable by keeping the proof implicit
Tip revision: 6ba8ea5
Error
404

Resource not found

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