A Formal Proof of PG Recurrence Equations of Parallel Adders. - Gang Chen; Xiaoyu Song; Guowu Yang; Ting Wang; Xiaoqiao Mu; Yongqian Fan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)