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

(github.com)

5 points | by gopiandcode 5 hours ago ago

No comments yet.