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