Skip to main navigation Skip to search Skip to main content

The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  • Liron Cohen (Creator)
  • Adham Jabarin (Creator)
  • Andrei Popescu (Creator)
  • Reuben Nathaniel Simon Rowe (Creator)

    Dataset

    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.
    Date made available5 Nov 2023
    PublisherZENODO

    Access Dataset

    Cite this