https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 3bcca9287b3969321b987bc9c9353024bf45676d authored by Michael J. Klein on 04 March 2020, 21:38:06 UTC
add link to lorentz-contract-multisig
Tip revision: 3bcca92
Error
404

Resource not found

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