Automated Theorem Proving: Assignments

Assignments have to be submitted in Github classroom. Before you start, set up your Git and Github environment.

The assignments are due at 8am on the due date. The submission system will shut off at 8am on the due date.