Hacker News new | ask | show | jobs
by potiuper 1724 days ago
See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.