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

Comments

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

Comments

Popular posts from this blog