@misc{indiciaec73fc9bf65b6,
  title = {Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
  author = {Marcus Rossel and Andrés Goens},
  year = {2024},
  url = {https://arxiv.org/abs/2405.10188},
  note = {Source identifier: 2405.10188}
}