Az NXT-G programozási nyelv

Helyesség

Az NXT-G nyelv nem támogatja a helyességbizonyítást.