Feynman path integral for the Dirac equation

The evolution operator for the Dirac equation is expressed as a sequential Feynman path integral. The usual approximations in terms of integrals over finite-dimensional spaces have been explicitly calculated and written in terms of translation operators. This expression should lend itself well to numerical approximations.