Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn. Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean. In Valeria de Paiva, Peter Koepke, editors, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. Volume 16136 of Lecture Notes in Computer Science, pages 317-339, Springer, 2025. [doi]
Abstract is missing.