Text this: Proceedings of the workshop on automated theorem proving in software engineering.