A Lua programozási nyelv

Objektum-orientált programozás

A Lua nem biztosít helyességbizonyítási eszközöket számunkra.