Interacting with Modal Logics in the Coq Proof Assistant.

Christoph Benzmller, Bruno Woltzenlogel Paleo

Browse the full CSR paper archive.