https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 90bcdb93da539776b277fdd2560f71cc028f5031 authored by Basile Pesin on 26 July 2019, 09:49:19 UTC
Added IS_NAT and INT instruction
Tip revision: 90bcdb9
Error
404

Resource not found

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