https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: c1a9d0bee0cc7636caa6b3744cf7fa588b878729 authored by b on 28 March 2019, 16:48:02 UTC
Miguelito some progress
Tip revision: c1a9d0b
Error
404

Resource not found

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