Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols. - Tesla Zhang; Asher Kornfeld; Rui Li; Sonya Simkin; Yue Yao; Stephanie Balzer (CoRR, 2025)