We show that every at semimodule having a projective cover coincides with that cover up to isomorphism. Also, we prove that all (finitely generated) semimodules over a semiring S are at iff S is a regular ring.
Il'in et al. (Fri,) studied this question.