Hacker News new | ask | show | jobs
by Sniffnoy 370 days ago
AC is much stronger than excluded middle. This doesn't really say anything about what AC does.