Y Hacker News new | ask | show | jobs

user: pgustafs created: 2016-09-18 karma: 230 https://twitter.com/paulpgustafson submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Predict the Unpredictable 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Why is dependent type theory more suitable than set theory for proof assistants? 221 points | 59 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments