This article studies the existence theory of an innovation type of generalized proportional fractional differential equations with the assistance of the technique of Kuratowski measure on noncompactness combined with the fixed-point theorem of M¨onch. Also, we use Lebesgue’s dominated convergence theorem and Arzel´a–Ascoli fixed point theorem on existence and uniqueness results. An application is also presented by employing two illustrative iks, which enrich our outcomes