The "we" and "you" is implied in "Comprobamos" and "Compruebas."  It's implied in the same way that "Check the existence"  really means "You check the existence."  The difference between the languages is that English doesn't have short form of "We check the existence."