zenodoopen
Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations
<p>This is the repeatability package, including the tool (called LemmaCalc) in the paper, the benchmark files, a TheSy binary, Z3 binaries for Linux, and scripts to repeat the experiments.</p> <p>Parts of the paper supported by this artifact: Main results in Fig 1, implementation of Algs 1--3.</p>
ShareScore
32/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
- 16
- Reuse readiness
- 8
- Engagement
- 0
Dataset details
- Repository
- zenodo
- Published
- October 24, 2023
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.10041076
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.