{
    "{http://www.w3.org/2005/Atom}author": {
        "{http://www.w3.org/2005/Atom}email": "hal@ccsd.cnrs.fr",
        "{http://www.w3.org/2005/Atom}name": "HAL"
    },
    "{http://www.w3.org/2005/Atom}client": "hal",
    "{http://www.w3.org/2005/Atom}committer": "Yves Bertot",
    "{http://www.w3.org/2005/Atom}external_identifier": "hal-01767263",
    "{http://www.w3.org/2005/Atom}id": "hal-01767263",
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}applicationCategory": "info.info-ds",
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}author": {
        "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}affiliation": "MARELLE",
        "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}name": "Yves Bertot"
    },
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}dateCreated": "2018-04-16T09:18:15+02:00",
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}license": {
        "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}name": "MIT License"
    },
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}name": "Formal study in Coq of pi computations using arithmetic-geometric means",
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}url": "https://hal.archives-ouvertes.fr/hal-01767263",
    "{https://doi.org/10.5063/SCHEMA/CODEMETA-2.0}version": 1
}