  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.
