Legendrian Structures in Derived Geometry

This is the third installment in a series of papers on the subject of derived contact structures. In this paper, we formally introduce the notion of a Legendrian structure in the derived context and provide natural constructions. We then present affine models and prove a Legendrian-Darboux theorem for the Legendrians in contact derived schemes.