  We introduce derived projective covers and explain how they are related to
the notion of enough derived projectives. This provides an if-and-only if
criterion for when derived projective covers form a silting collection. We
prove moreover a Koszul duality result for silting and simple-minded
collections.
