feat(Logics/Propositional): five-primitive formula type with connective typeclasses#647

benbrastmckie wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

benbrastmckie:feat/propositional-five-primitivebenbrastmckie/cslib:feat/propositional-five-primitiveCopy head branch name to clipboard