zenodoopen
deividrvale/nijn-coq-script-generation: First Release of public API
<p>This release describes the first version of the public API for ONijn.</p> <p>Please check <a href="url">https://deividrvale.github.io/nijn-coq-script-generation/onijn/index.html</a> for more details on this release. This version is attached, as software artifact, to the paper "Certifying Higher-Order Polynomial Interpretation", by Niels van der Weide, Deivid Vale, and Cynthia Kop.</p>
ShareScore
36/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 12
- Reuse readiness
- 8
- Engagement
- 8
Dataset details
- Repository
- zenodo
- Published
- May 8, 2023
- License
- other-open
- DOI
- 10.5281/zenodo.7915735
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.