Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations

Ernst, Gidon; Fedyukovich, Grigory

doi:10.5281/zenodo.16932462

Published August 22, 2025 | Version v2

Dataset Open

Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations

1. Ludwig Maximilian University of Munich

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, implementation of Algs 1--3.

Files

artifact.zip

Files (45.0 MB)

Name	Size	Download all
artifact.zip md5:9b0e16ded99f082d29e2d434cf3b4b57	44.9 MB	Preview Download
LICENSE md5:a4272998fb0369d81175009596229933	124 Bytes	Download
README.md md5:4d640cd0ada17fc4a6c51dee12f209f1	16.0 kB	Preview Download

337

Views

174

Downloads

Show more details

	All versions	This version
Views	337	22
Downloads	174	15
Data volume	3.4 GB	314.7 MB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

Imprint

Proc. of 20th International Conference on Integrated Formal Methods (iFM 2025).

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more; MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more; GNU General Public License v3.0 or later

Permissions of this strong copyleft license are conditioned on making available complete source code of licensed works and modifications, which include larger works using a licensed work, under the same license. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. Read more

Technical metadata

Created: August 23, 2025
Modified: August 23, 2025

Artifact: Quick Theory Exploration for Algebraic Data Types via Program Transformations

Creators

Description

Files

artifact.zip

Files (45.0 MB)