New top story on Hacker News: Why do proof assistants use dependent type theory instead of set theory?

Why do proof assistants use dependent type theory instead of set theory?
4 by pgustafs | 0 comments on Hacker News.