Tutorial: inizia a utilizzare CEL

Per iniziare a utilizzare CEL, scegli uno dei seguenti tutorial:

Verifica formale

Per scoprire come dimostrare matematicamente la correttezza delle espressioni e delle norme CEL: