/mpl

A Henkin-style completeness proof for the modal logic S5

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers