Formalizations of Greek Grammar in Agda