https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: e538b10ceb6388f838bdd120fb7b47ca32292246 authored by Guillaume Claret on 20 September 2019, 09:06:06 UTC
Use the stable version of coq-ott
Tip revision: e538b10
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_edukera.v from root directory 4464462cb8aa03a1297e98e8991a113438ff09f0 not found
back to top