minus-squaresteloflute@alien.topBtoLisp•Gödel’s Proof in LisplinkfedilinkEnglisharrow-up1·1 year agoThere is no problem with the operation, but There is a typo: unprobable -> unprovable linkfedilink
There is no problem with the operation, but
There is a typo: unprobable -> unprovable