refactor: Proposition type to bot/imp primitives#635

benbrastmckie wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

benbrastmckie:refactor/proposition-lukasiewiczbenbrastmckie/cslib:refactor/proposition-lukasiewiczCopy head branch name to clipboard