Interactive Matching Logic Proofs in Coq.

Jan Tusil, Pter Bereczky, Dniel Horpcsi

Browse the full ICTAC paper archive.