Course information

Homepage for the course  "Automated theorem proving"

• slides
• exercises
• discussion group