Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess. Beachten Sie, dass diese Themen ohne Hintergrundwissen in (mathematischen) Logik nicht einfach zu verarbeiten sind. Wenn Sie Probleme mit grundlegenden Begriffen...