arXiv· Xinrui Li·2026-10-24 01:20· 7 天前SemantEq: Faithful Bidirectional Equivalence of Formal StatementsSemantEq: Faithful Bidirectional Equivalence of Formal Statements来源：arXiv · arxiv.org