Workshop on Limits of Theorem Proving