Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接:
https://zenodo.org/record/10041076
下载链接
链接失效反馈官方服务:
资源简介:
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.
Parts of the paper supported by this artifact: Main results in Fig 1, statistics in Table 1, implementation of Algs 1--4.
创建时间:
2023-10-26



