https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: bac4a6e29337194b9ff4964c26d5cba60ba95511 authored by Yann Regis-Gianas on 03 June 2021, 05:48:24 UTC
Add a report about CPMM proofs
Tip revision: bac4a6e
Error
404

Resource not found

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