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