reference. An equality saturation tactic for lean [rossel2024equality]

✍️source

@article{rossel2024equality,
 title = {An Equality Saturation Tactic for Lean},
 author = {Rossel, Marcus},
 year = {2024}
}