Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2023-10-26
