Explaining types, sorts and universes in Leanhttps://lakesare.brick.do/on-universes-in-lean-vByqZWpNnrEJ by lakesare • 4 years ago 1 0 4 years agoLAlakesare.brick.do