3 ms·

"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 6y ago
  Yep, that would be a better rewording. I missed it in my search for a <80 character title.
• dang 6y ago
  Nicely done. Changed now. Thanks!