Leibniz cohomology for differentiable manifolds
We propose a definition of Leibniz cohomology, , for differentiable manifolds. Then becomes a non-commutative version of Gelfand-Fuks cohomology. The calculations of reduce to those of formal vector fields, and can be identified with certain invariants of foliations.