New top story on Daily News: Why do proof assistants use dependent type theory instead of set theory?
Why do proof assistants use dependent type theory instead of set theory?
21 by pgustafs | 0 comments on Daily News.
21 by pgustafs | 0 comments on Daily News.
New top story on Daily News: Why do proof assistants use dependent type theory instead of set theory?
![New top story on Daily News: Why do proof assistants use dependent type theory instead of set theory?]()
Reviewed by Anonymous
on
November 20, 2020
Rating:
