Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations
Gidon Ernst, Grigory Fedyukovich · Zenodo (CERN European Organization for Nuclear Research) · 2023
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.