Why is dependent type theory more suitable than set theory for proof assistants?

news.ycombinator.com

saved by: 0 people
related read on: Why is dependent type theory more suitable than set theor... discussion