M mathoverflow.net Why is dependent type theory more suitable than set theory for proof assistants? 221 points pgustafs 6 years ago 59 comments
