propositional logic first-order logic datalog logic programming
roadmap about config

Auswahl des Layouts*

Klassisches Design.
Modernes Design.

Geschwätzigkeit - Defaultwert*

  quietverbosevery verbose

Systemeinstellungen*

Systemseitig ist die Anzahl der Variablen in einer Formel derzeit auf 6 Variablen beschränkt.*

* translation not available