I'm reading Richard Conn Henry's article called "Circular Motion." In it he states that in his De vi Centrifuga Huygens discovered the formula $a=v^2/r$ and that
Edmund Halley, Christopher Wren, and Robert Hooke were all able to immediately substitute the result into Kepler's third law and deduce that the gravitational force must vary inversely as the square of the distance from the sun.
He does not give any references about where he got this information. Do you know any historical documents showing that Halley, Wren, or Hooke arrived at inverse square law by substituting $a=v^2/r$ into Kepler's Rule?
If there exist such a document, I assume, it would be in the language of proportions and not equations.
Note: This question has nice information about Huygens' discovery but not about its application by the above people.