Koszul theory of super Lie groups

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.