Arend Mellendijk. A Lean Tactic for Normalizing Expressions in an Algebra over a Ring (Short Paper). In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.