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

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



Accompanying artifact for POPL2024 paper submission, containing the following: Extension of the Cyclist automated theorem prover ( by new algorithms for checking the Infinite Descent property. Experimental dataset for algorithms checking Infinite Descent.
Date made available5 Nov 2023

Cite this