feat(Foundations/Logic): propositional theorems, modal S5 theorems, and MCS consistency foundations#629

benbrastmckie wants to merge 4 commits into

leanprover:mainleanprover/cslib:mainfrom

benbrastmckie:pr1/foundations-logicbenbrastmckie/cslib:pr1/foundations-logicCopy head branch name to clipboard