The covariant formulation of loop quantum gravity has developed strongly during the last few years.  I summarize the current definition of the theory and the results that have been proven. I discuss what is missing towards of the goal of defining a consistent quantum theory whose classical limit is general relativity.