We review the basic aspects of the Koszul approach to the theory of super Lie groups and in particular we focus on the definition of the exponential morphism.