feat(Foundations/Logic): Notation typeclasses and models#587

thomaskwaring wants to merge 7 commits into

leanprover:mainleanprover/cslib:mainfrom

thomaskwaring:modelsthomaskwaring/cslib_SKI:modelsCopy head branch name to clipboard