https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 4f48fcc23bcae74ce5899621f11bcd5cb84184c5 authored by Arvid Jakobsson on 26 August 2019, 08:38:06 UTC
semantics equivalence for fragment assuming injectivity of untyper
Tip revision: 4f48fcc
Error
404

Resource not found

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