[OJFord]

> The current tittle of the original MathOverflow question is "What makes dependent type theory more suitable than set theory for proof assistants?", I don't know why is it different than here.

It's too long for HN, OP presumably reworded to fit. If you have a better suggestion one of the mods might see and change it, I think OP's chance to edit it has passed though.

[edjrage]

"Why is dependent type theory more suitable than set theory for proof assistants?” has 80 characters, which seems to be exactly HN's limit.

[pgustafs]

Yep, that would be a better rewording. I missed it in my search for a <80 character title.

[dang]

Nicely done. Changed now. Thanks!