Course site for "Automated Theorem Proving" in the winter term 2017/18