A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. - Rundong Mu; Qin Li (Theories of Programming and Formal Methods, 2023)