Hacker News new | ask | show | jobs
by fmap 4574 days ago
Yes. You can translate the classical proof, assuming excluded middle for propositions.