Why do proof assistants use dependent type theory instead of set theory?
21 by pgustafs | 0 comments on Hacker News.
Home
Hacker News
New top story on Hacker News: Why do proof assistants use dependent type theory instead of set theory?
0 comments: