Exotic definite four-manifolds with non-cyclic fundamental group

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}\mathrm{/}2\times \mathbb{Z}\mathrm{/}2$.