TY - RPRT TI - Formalization of Malagasy conjugation AU - Joro Ny Aina Ranaivoarison AU - Eric Laporte AU - Baholisoa Simone Ralalaoherivony PY - 2026 UR - https://arxiv.org/abs/2605.27161 ID - 2605.27161 ER -