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

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

by
from Hacker News on (#5ANTJ)
Comments
External Content
Source RSS or Atom Feed
Feed Location https://news.ycombinator.com/rss
Feed Title Hacker News
Feed Link https://news.ycombinator.com/
Reply 0 comments