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

thomaskwaring wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

thomaskwaring:hilbert'thomaskwaring/cslib_SKI:hilbert'Copy head branch name to clipboard