Friday 20 November 2020

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


Posted by at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)