TY  - RPRT
TI  - Mechanizing Matching Logic In Coq
AU  - Péter Bereczky
AU  - Xiaohong Chen
AU  - Dániel Horpácsi
AU  - Lucas Peña
AU  - Jan Tušil
PY  - 2022
DO  - 10.4204/eptcs.369.2
UR  - https://arxiv.org/abs/2201.05716
ID  - 2201.05716
ER  -