CodeMeta.json

{
    "@context": "https://doi.org/10.5063/schema/codemeta-2.0",
    "type": "SoftwareSourceCode",
    "applicationCategory": "Rocq library and plugin",
    "author": [
        {
            "id": "https://perso.ens-lyon.fr/damien.pous/",
            "type": "Person",
            "affiliation": {
                "type": "Organization",
                "name": "Plume team, LIP, CNRS"
            },
            "email": "Damien.Pous@ens-lyon.fr",
            "familyName": "Pous",
            "givenName": "Damien"
        }
    ],
    "codeRepository": "https://github.com/damien-pous/coinduction",
    "dateCreated": "2021-10-08",
    "datePublished": "2021-10-08",
    "description": "Coinductive predicates are greatest fixpoints of monotone functions.
The `companion' makes it possible to enhance the associated coinduction scheme.
This library provides a formalisation on enhancements based on the companion, as well as tactics in making it straightforward to perform proofs by enhanced coinduction.",
    "keywords": [
	"coinduction",
	"up to techniques",
	"companion",
	"bisimilarity",
        "Rocq"
    ],
    "license": "GNU LGPL",
    "name": "coinduction",
    "programmingLanguage": "Rocq",
    "referencePublication": "http://dx.doi.org/10.1145/2933575.2934564"
}