Marcus Rossel -

Registered user since Wed 15 May 2024

Name:Marcus Rossel

Country:Germany

Affiliation:Technische Universität Dresden

GitHub: https://github.com/marcusrossel

Contributions

2024

EGRAPHS

Author of Bridging Syntax and Semantics of Lean Expressions in E-Graphs within the EGRAPHS 2024-track