Towards a Coq Formalization of a Quantified Modal Logic.

Ana de Almeida Borges

Browse the full CADE paper archive.