We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1509.06085 can endorse.

Proving Skipping Refinement with ACL2s

Mitesh Jain and Panagiotis Manolios are not registered as owners of this paper. (why?)