  From the point of view of index theory, we give a simple proof of a
Gauss-Bonnet-Chern formula for all Finsler manifolds by the Cartan connection.
Based on this, we establish a Gauss-Bonnet-Chern formula for any
metric-compatible connection and also derive the Gauss-Bonnet-Chern formula of
Lackey.
