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

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

November 20, 2020
Why do proof assistants use dependent type theory instead of set theory?
33 by pgustafs | 0 comments on Hacker News.


Unknown

Share this

Related Posts

Next
« Prev Post
Previous
Next Post »
Subscribe to: Post Comments (Atom)