I don't believe it. They're probably measuring mass and velocity and applying the formula afterwards. That doesn't prove anything. Back in Leibniz' days, they would use soft clay and measure the depths of the indentations made by falling weights. This was accurate enough to tell them that the kinetic energy was proportional to mv².