Oberon-2

Helyesség

A nyelv nem támogatja a helyesség bizonyítást.