  Bivariant theory is a unified framework for cohomology and Borel-Moore
homology theories. In this paper, we extract an $\infty$-enhanced bivariant
homology theory from Gaitsgory-Rozenblyum's six functor formalism.
