A formalization of PAL+modal logic S5 in Lean, as an experiment to formalize logic systems in proof assistant
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool