Explaining types, sorts and universes in Lean(lakesare.brick.do)
lakesare.brick.do
Explaining types, sorts and universes in Lean
https://lakesare.brick.do/on-universes-in-lean-vByqZWpNnrEJ
0 comments
—
https://lakesare.brick.do/on-universes-in-lean-vByqZWpNnrEJ
—