https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 877a6f21b2a8e61697b548bacffa676ecf5b247f authored by Basile Pesin on 27 May 2019, 13:13:29 UTC
Corrected typo
Tip revision: 877a6f2
Error
404

Resource not found

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