Mechanizing Matching Logic in Coq. - Péter Bereczky; Xiaohong Chen 002; Dániel Horpácsi; Tamás Bálint Mizsei; Lucas Peña; Jan Tusil (FROM, 2022)