[EGRAPHS24] Bridging Syntax and Semantics of Lean Expressions in E-Graphs | ACM SIGPLAN | Podwise