Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean. - Viviana del Barco; Gustavo Infanti; Exequiel Rivas; Paul Schwahn (CoRR, 2025)