https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 9fa0d6f5ee4444b7890b9b71545d194f9f73bbe1 authored by Julien Tesson on 14 March 2019, 16:03:27 UTC
OTT now compiles
Tip revision: 9fa0d6f
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_spec.v from root directory 89afdc5c0cbbdc3e8d71a2231317113c30d38d82 not found
back to top