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