Hacker News new | ask | show | jobs
by zmgsabst 3 hours ago
That depends on who you ask.

Type theory can also be an independent synthetic foundation atop which you build mathematics.