Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com) 5 points by gopiandcode 1mo ago ↗ HN
0 comments
[ 0.26 ms ] story [ 7.7 ms ] threadNo comments yet.