feat: logical equivalence for modal logic#535

fmontesi wants to merge 11 commits intomainleanprover/cslib:mainfrom

modal-equivleanprover/cslib:modal-equivCopy head branch name to clipboard