Pair correlation of Farey fractions with square-free denominators

In this article, we study the pair correlation of Farey fractions by proving that the limiting pair correlation function of the sequence of Farey fractions with square-free denominators exists and provide an explicit formula for the limiting pair correlation function.