LOGIC: A Coq Library for Logics.

Yichen Tao, Qinxiang Cao

Browse the full SETTA paper archive.