top
new
show
ask
jobs
about

Types of types in Lean: common → exotic

stephendiehl.com

2 points by fanf2 13 hours ago