Why do proof assistants use dependent type theory instead of set theory?
3 by pgustafs | 0 comments on Hacker News.
Popular Posts
-
South Korea on Sunday warned of a second wave of cases as a new cluster formed around a number of night clubs, as it eased restrictions last...
-
I used the internet to painlessly relearn a foreign language 5 by robertwiblin | 0 comments on Hacker News.
-
Congressional investigation shows Celgene, Teva plotted to keep drug prices high 21 by AndrewBissell | 1 comments on Hacker News.
-
cal 9 1752 5 by susam | 0 comments on Hacker News.
-
NIST Pair of Atomic Clocks Reveal Einstein's Relativity at a Personal Scale 4 by lelf | 0 comments on Hacker News.
-
Walking the World: Bucharest 16 by acsillag | 9 comments on Hacker News.
-
By Andrew Jacobs and Edgar Sandoval from NYT Health https://ift.tt/2SOwsHQ via IFTTT
-
What happens when the NYT and New Yorker make mistakes 68 by apsec112 | 24 comments on Hacker News.
-
By David E. Sanger from NYT U.S. https://ift.tt/347YJl2 via IFTTT
No comments:
Post a Comment