DocumentationCoq DocCoq DocOur Coq proof artifact is included in the Zenodo package and also hosted on Github.A prebuilt documentation is hosted here.Replication Package