Mechanised Modal Model Theory.

Yiming Xu, Michael Norrish

Browse the full CADE paper archive.