Click on the following link to see some of the past work done by AILab faculty and students.

Automated Theorem Proving