  We develop the theory of locally analytic representations of compact $p$-adic
Lie groups from the perspective of the theory of condensed mathematics of
Clausen and Scholze. As an application, we generalise Lazard's isomorphisms
between continuous, locally analytic and Lie algebra cohomology to solid
representations. We also prove a comparison result between the group cohomology
of a solid representation and of its analytic vectors.
