Hacker News new | ask | show | jobs
A program for the full axiom of choice (lmcs.episciences.org)
3 points by gadmm 1756 days ago