Formalization of Malagasy conjugation. - Joro Ny Aina Ranaivoarison; Eric Laporte 001; Baholisoa Simone Ralalaoherivony (CoRR, 2026)