Kernel accepts wrong-structure projections, allowing axiom-free proof of False

(github.com) by gopiandcode | Jul 28, 2026 | 0 comments on HN