Lie algebras in ${\text{Ver}}_4^{+}$

We develop Lie theory in the category ${\text{Ver}}_4^{+}$ over a field of characteristic 2, the simplest tensor category which is not Frobenius exact, as a continuation of arXiv:2406.10201. We provide a conceptual proof that an operadic Lie algebra in ${\text{Ver}}_4^{+}$ is a Lie algebra, i.e. satisfies the PBW theorem, exactly when its invariants form a usual Lie algebra. We then classify low-dimensional Lie algebras in ${\text{Ver}}_4^{+}$, construct elements in the center of $U(\mathfrak{g}\mathfrak{l}(X))$ for $X\in {\text{Ver}}_4^{+}$, and study representations of $\mathfrak{g}\mathfrak{l}(P)$, where $P$ is the indecomposable projective of ${\text{Ver}}_4^{+}$.