https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: efefd74c2f9db74a0125fc5a3ad961607bab1ec3 authored by Basile Pesin on 02 July 2019, 10:47:24 UTC
Changed some Qed to Defined
Tip revision: efefd74
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_camlcase.v from root directory 295446a2e576c3c1001369c5f8107d7b46d72f3a not found
back to top