lean project
This is a personal project for the Logical Verification course in Lean.
The goal is prove some elementary results on the semantics of basic modal logic. Formula satisfiability preservation under bisimulation and such.
This is a personal project for the Logical Verification course in Lean.
The goal is prove some elementary results on the semantics of basic modal logic. Formula satisfiability preservation under bisimulation and such.