Hey Muphrid, I have spent a while trying to find resources for general relativity that use differential forms, or cartan formalism but I'm having a bit of trouble. Having seen you like to use forms for general relativity are there any resources you would recommend?