A BETA programozási nyelv

Helyességbizonyítás


A nyelv nem nyújt eszközöket a helyességbizonyításhoz.