{
    "@context": [
        "https:\/\/doi.org\/doi:10.5063\/schema\/codemeta-2.0",
        "http:\/\/schema.org"
    ],
    "@type": "SoftwareSourceCode",
    "name": "FormalizedLLBib",
    "description": "Bibliography of formalizations of Linear Logic in proof assistants.",
    "dateCreated": "2025-04-19",
    "datePublished": "2025-04-19",
    "license": [
        "GNU Lesser General Public License v2.1 only"
    ],
    "url": "https:\/\/hal.science\/hal-05015747",
    "identifier": [
        {
            "@type": "hal",
            "propertyID": "https:\/\/hal.science\/hal-05015747",
            "value": "hal-05015747"
        },
        {
            "@type": "swhid",
            "propertyID": "https:\/\/archive.softwareheritage.org\/swh:1:dir:56ebe157fe0d55ff61383a66b3189e2cde6c8c00",
            "value": "swh:1:dir:56ebe157fe0d55ff61383a66b3189e2cde6c8c00"
        }
    ],
    "applicationCategory": [
        "info"
    ],
    "codeRepository": "https:\/\/github.com\/ComputerAidedLL\/FormalizedLLBib",
    "programmingLanguage": [
        "Rocq"
    ],
    "version": "1",
    "dateModified": "2025-10-13",
    "author": [
        {
            "@type": "Role",
            "roleName": "maintenance",
            "author": {
                "@type": "Person",
                "@id": [
                    "0009-0007-1306-8994"
                ],
                "givenName": "Olivier",
                "familyName": "Laurent",
                "affiliation": [
                    {
                        "@type": "Organization",
                        "name": "LIP"
                    },
                    {
                        "@type": "Organization",
                        "name": "PLUME"
                    }
                ]
            }
        }
    ],
    "contributor": [
        {
            "@type": "Person",
            "givenName": "Olivier",
            "familyName": "Laurent"
        }
    ]
}