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

COURSE SYLLABUS FOR ETHICALS HACKER