https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 4eabc12977764fbac3fae0a796bcba12b897613e authored by Raphaƫl Cauderlier on 23 June 2020, 21:40:11 UTC
[doc] Slides TPBC
Tip revision: 4eabc12
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_edukera_spec.v from root directory 47a6a000377564767353e9f94611da53c38dfa5f not found
back to top