Why do proof assistants use dependent type theory instead of set theory?

Article URL: https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista

Comments URL: https://news.ycombinator.com/item?id=25167468

Points: 3

# Comments: 0

from Hacker News: Front Page https://ift.tt/3lQJTU6
via