Other Open Access
Lambda-barrier Coq mechanization
Jules Jacobs
JSON-LD (schema.org) Export
{
"description": "<p>Lambda-barrier Coq mechanization. For the most recent version, see https://github.com/julesjacobs/cgraphs/tree/master/theories/lambdabar.</p>",
"license": "https://creativecommons.org/licenses/by/4.0/legalcode",
"creator": [
{
"affiliation": "Radboud University",
"@type": "Person",
"name": "Jules Jacobs"
}
],
"url": "https://zenodo.org/record/6560443",
"datePublished": "2022-05-13",
"@context": "https://schema.org/",
"identifier": "https://doi.org/10.5281/zenodo.6560443",
"@id": "https://doi.org/10.5281/zenodo.6560443",
"@type": "CreativeWork",
"name": "Lambda-barrier Coq mechanization"
}
111
1
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 111 | 42 |
| Downloads | 1 | 1 |
| Data volume | 536.7 kB | 536.7 kB |
| Unique views | 67 | 30 |
| Unique downloads | 1 | 1 |
Indexed in
- Publication date:
- May 13, 2022
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International