A Factor programozási nyelv

Helyesség

Helyesség

A Factor nyelv jelenleg nem nyújt helyességbizonyítási lehetőségeket.