feat(Logic): logical operators#607

fmontesi wants to merge 15 commits into

mainleanprover/cslib:mainfrom

fmontesi/connectivesleanprover/cslib:fmontesi/connectivesCopy head branch name to clipboard