Tutorials: Erste Schritte mit CEL

Wählen Sie eines der folgenden Tutorials aus, um mit CEL zu beginnen:

Formale Überprüfung

Informationen zum mathematischen Nachweis der Richtigkeit von CEL-Ausdrücken und -Richtlinien: