cfaed Publications

Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Reference

Marcus Rossel, Andrés Goens, "Bridging Syntax and Semantics of Lean Expressions in E-Graphs", Proceedings of the 2024 EGRAPHS workshop, Jun 2024.

Bibtex

@InProceedings{rossel_egraphs24,
title={Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
author={Marcus Rossel and Andrés Goens},
booktitle = {Proceedings of the 2024 EGRAPHS workshop},
year={2024},
month = jun,
location = {Copenhagen, Denmark},
url = {https://arxiv.org/abs/2405.10188},
numpages = {6},
}

Downloads

No Downloads available for this publication

Permalink

https://esim-project.eu/publications?pubId=3768


Go back to publications list