Bridging Syntax and Semantics of Lean Expressions in E-Graphs

@inproceedings{rossel_egraphs24,
  author       = {Marcus Rossel and
                  Andr{\'{e}}s Goens},
  title        = {Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
  booktitle    = {Proceedings of the 3rd Workshop on E-Graphs and Equality Saturation (EGRAPHS 2024)},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.10188},
  doi          = {10.48550/ARXIV.2405.10188},
  note         = {arXiv preprint arXiv:2405.10188},
  eprinttype   = {arXiv},
  eprint       = {2405.10188},
}