Hacker News new | ask | show | jobs
Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com)
5 points by gopiandcode 3 days ago