Published January 9, 2026
| Version 1
Dataset
Open
Artifact for "Incremental Forward Reasoning for White-Box Proof Search"
Description
Artifact for the paper "Incremental Forward Reasoning for White-Box Proof Search", to be published at TACAS 2026.
Files
README.md
Files
(7.5 GB)
| Name | Size | |
|---|---|---|
|
md5:d3c1a212abf77878118acfc5ea6a795d
|
3.5 GB | Download |
|
md5:f7096b4787bae4e93827587ceaa28cab
|
3.6 GB | Download |
|
md5:86d3f3a95c324c9479bd8986968f4327
|
11.4 kB | Download |
|
md5:7f657bfa4d7de79b3160f8b0f22acb6e
|
1.6 MB | Preview Download |
|
md5:2b8653d39fb508fdec38b0228e689c6b
|
10.4 kB | Preview Download |
|
md5:33124e76ec8f26fbd1656bb0db29ea2e
|
384.8 MB | Download |
|
md5:395acb5634fc6f22a4f4ce08aa7efdfa
|
142.3 kB | Download |
Additional details
Related works
- Obsoletes
- Dataset: 10.5281/zenodo.14933560 (DOI)
Software
- Repository URL
- https://github.com/JLimperg/artifact-aesop-forward
- Programming language
- Lean