AR: Assessment

All coursework and assessment details are on Learn. The coursework was released on 11th of October and is available on Learn under Assessment titled Assignment: Theorem Proving in Isabelle. The deadline is 12 noon on Monday the 18th of November, on the same Learn page. (You will need to log in using your EASE account.)