I want to convert a gravity action in terms of differential forms to tensorial expressions. A procedure known as tetrad formalism/Cartan formalism like Palatini action in this page: CARTAN FORMALISM
Is there any package in this way in/for Mathematica?