Toën–Vezzosi's full faithfulness conjecture for dg-Lie algebroids and derived foliations
Toën and Vezzosi's conjecture. The assignment from such dg-Lie algebroids to derived foliations is fully faithful.