Thomas Käufl

• Vereinfachung logischer Formeln in einem Vorbeweiser