1: \begin{abstract}

2: We prove Lie’s third theorem for finite-type Lie $\infty$-algebras: Every finite-type, homologically and non-negatively graded $L_\infty$-algebra over $\R$ integrates to a finite-dimensional Lie $\infty$-group.

3: %We prove Lie's third theorem for finite-type $L_\infty$-algebras over $\R$.

4: \end{abstract}

5: