ACM SIGPLAN - [EGRAPHS24] Bridging Syntax and Semantics of Lean Expressions in E-Graphs
Sign in to continue reading, translating and more.
