Dirac equation in curved spacetime is given by $$\left(i \gamma^\mu D_\mu-m\right) \Psi=0$$
How does we know that this is the correct equations to describe spinors in curved space time? Is there any expriment that comprove that this is the correct equation?