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