marcusklaas/logical-verification-project

proving some basic theorems in modal logic

Lean