@misc{indiciaebf6e638ff474, title = {Formalization of Malagasy conjugation}, author = {Joro Ny Aina Ranaivoarison and Eric Laporte and Baholisoa Simone Ralalaoherivony}, year = {2026}, url = {https://arxiv.org/abs/2605.27161}, note = {Source identifier: 2605.27161} }