https://123dok.net/document/yj7mvr5y-automated-proof-checking-in-introductory-discrete-mathematics-classes.html