Compound heterozygous recessive or polygenic diseases could be addressed through gene correction of multiple alleles. However, targeting of multiple alleles using genome editors could lead to mixed genotypes and adverse events that amplify during tissue morphogenesis. Here we demonstrate that Cas9-ribonucleoprotein-based genome editors can correct two distinct mutant alleles within a single human cell precisely. Gene-corrected cells in an induced pluripotent stem cell model of Pompe disease expressed the corrected transcript from both corrected alleles, leading to enzymatic cross-correction of diseased cells. Using a quantitative in silico model for the in vivo delivery of genome editors into the developing human infant liver, we identify progenitor targeting, delivery efficiencies, and suppression of imprecise editing outcomes at the on-target site as key design parameters that control the efficacy of various therapeutic strategies. This work establishes that precise gene editing to correct multiple distinct gene variants could be highly efficacious if designed appropriately.