Solution (source code)

= Solution

For metric $\eta^{\mu\nu}=\operatorname{diag}(1,-1,-1,-1)$, the defining <Clifford algebra> relation is
$$
\boxed{\{\gamma^\mu,\gamma^\nu\}
=\gamma^\mu\gamma^\nu+\gamma^\nu\gamma^\mu
=2\eta^{\mu\nu}\mathbf1_4.}
$$