Hacker News new | ask | show | jobs
Explaining types, sorts and universes in Lean (lakesare.brick.do)
1 points by lakesare 1291 days ago