1
$\begingroup$

Does anyone know a package for tetrad formalism? want to convert a gravity action in terms of differential forms to tensorial expressions. A procedure known as tetrad formalism/Cartan formalism

Is there any package in this way in/for Mathematica?

$\endgroup$
1

0