New suggested Article from Hacker News: Why do proof assistants use dependent type theory instead of set theory?

Here’s a new suggested article for you: Why do proof assistants use dependent type theory instead of set theory?
. We suggest reading this article we found on Hacker News.
Posted by Ayush Pathak at November 21, 2020 at 08:02AM