أرسل هذا في رسالة قصيرة: Adapting proofs-as-programs