Marcus Rossel at EGRAPHS@PLDI

Published on

Marcus Rossel represented the CC Chair at the EGRAPHS workshop as part of PLDI, a premier forum on Programming Language Design and Implementation, which was held from 24. to 28. June in Copenhagen, Denmark. He presented joint work with Andrés Goens from the University of Amsterdam, also a former CC member, on "Bridging Syntax and Semantics of Lean Expressions in E-Graphs". This presentation describes Marcus' work on his M.Sc. thesis at the CC Chair, in which he uses the egg e-graphs library to find and build formal proofs in the Lean theorem prover. His presentations was well-attended and inspired and instilled interesting discussions afterwards.

Go back