أرسل هذا في رسالة قصيرة: Theory Exploration Automated Conjecturing for Programs and Proofs