New top story on Hacker News: Why do proof assistants use dependent type theory instead of set theory?

i'mTalking4U November 20, 2020

Why do proof assistants use dependent type theory instead of set theory?
12 by pgustafs | 0 comments on Hacker News.

Post a Comment

0 Comments