HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by IshKebab | Hacker News Reader
Parent
Full thread
IshKebab
·
Ah is that what Lean does with its type universes?
View on HN
cjfd
·
Yes, it is.
Reply on news.ycombinator.com