EasyChair Smart Slide
Towards a Coq Formalization of a Quantified Modal Logic
Towards a Coq Formalization of a Quantified Modal Logic