reference. Bridging syntax and semantics of lean expressions in e-graphs [rossel2024bridging]
✍️source

2024
Marcus Rossel, Andrés Goens

@article{rossel2024bridging,
 title = {Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
 author = {Rossel, Marcus and Goens, Andr{\'e}s},
 year = {2024},
 journal = {arXiv preprint arXiv:2405.10188}
}