Follow
Why do proof assistants use dependent type theory instead of set theory?
https://news.ycombinator.com/item?id=25167468
#hackernews #tech
