Derived Foliations

This is a book on derived foliations, that are a generalisation of classical foliations in the context of derived geometry. The text starts with the basic definitions and constructions, then explore foliated cohomology (with crystal coefficients), formal and analytic integrability problems, existence of the leaf space, characteristic classes, and two different notions of derived foliation in arbitrary characteristics.