To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:046c610e69bf978441e2c10cf4561ac69035a577
swh:1:dir:f0c298ca519a8794b1e01b8c1e93e2da08733f77
-R michocoq/ Michocoq -R michocott/ Michocott michocoq contracts_coq michocott
