Elimination of infectious HIV DNA by CRISPR–Cas9

•HIV provirus in infected cells can be inactivated with CRISPR–Cas9.•Combinatorial CRISPR–Cas9 attack can prevent viral escape.•Both mutation and excision of HIV DNA contribute to virus inactivation.•HIV genetic diversity may compromise CRISPR–Cas9 efficiency.