cfaed Publications
An Equality Saturation Tactic for Lean
Reference
Marcus Rossel, "An Equality Saturation Tactic for Lean", Master's thesis, TU Dresden, Jul 2024. (N.-J. Lehmann-Stiftung award)
Bibtex
@mastersthesis{rossel-masters24,
title={An Equality Saturation Tactic for Lean},
author={Marcus Rossel},
year={2024},
month=jul,
school={TU Dresden},
comment={N.-J. Lehmann-Stiftung award},
}
title={An Equality Saturation Tactic for Lean},
author={Marcus Rossel},
year={2024},
month=jul,
school={TU Dresden},
comment={N.-J. Lehmann-Stiftung award},
}
Downloads
2407_Rossel_MA [PDF]
Permalink
https://cfaed.tu-dresden.de/publications?pubId=3774