Published November 5, 2023
| Version v2
Software
Open
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Authors/Creators
- 1. Ben Gurion University
- 2. University of Sheffield
- 3. Royal Holloway, University of London
Description
Accompanying artifact for POPL2024 paper submission, containing the following:
- Extension of the Cyclist automated theorem prover (cyclist-prover.org) by new algorithms for checking the Infinite Descent property.
- Experimental dataset for algorithms checking Infinite Descent.