Речник на българския език
биха проспали е производна форма на проспя (условно наклонение, 3 л., мн. ч.).