[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!