Tools for Supergravity in the spin coframe formalism

This paper contains a review of the theoretical foundations of Clifford algebras, spinors and spinor bundles in the so-called co-frame formalism. A compact index-free notation is introduced, along with a series of identities useful for computations in supergravity theories.