Other Open Access
Lambda-barrier Coq mechanization
Jules Jacobs
BibTeX Export
@misc{jules_jacobs_2022_6560443,
author = {Jules Jacobs},
title = {Lambda-barrier Coq mechanization},
month = may,
year = 2022,
publisher = {Zenodo},
doi = {10.5281/zenodo.6560443},
url = {https://doi.org/10.5281/zenodo.6560443}
}
110
1
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 110 | 41 |
| Downloads | 1 | 1 |
| Data volume | 536.7 kB | 536.7 kB |
| Unique views | 66 | 29 |
| Unique downloads | 1 | 1 |
Indexed in
- Publication date:
- May 13, 2022
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International