Welcome to the ATP forum!

Moderator: Automated Theorem Proving

aeflores
Moderator
Moderator
Beiträge: 5
Registriert: 4. Apr 2013 14:58

Welcome to the ATP forum!

Beitrag von aeflores » 25. Apr 2014 16:02

Welcome to the Automatic Theorem Proving!
This forum will be the main platform for solving doubts, answering question and making announcements related to both the material and the organization of the course. We want to encourage all the students to participate, ask doubts and answer each other's questions. You can also contribute by posting related material and applications of automated theorem proving. However, we ask you NOT to post the solution from the exercises so your colleagues have also an opportunity to solve them by themselves.

Antonio & Reiner

Zurück zu „Automated Theorem Proving“