Zu der Vorlesung Automatisches Beweisen wird ein Praktikum im Block angeboten. In diesem Praktikum werden die in der Vorlesung präsentierten Themengebiete in Form von Programmieraufgaben in der Programmiersprache Java vertieft.