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
