Welcome!

This wiki is set up to gather information related to ongoing research on automated inductive theorem proving.

Discussions take place on the automated-inductive-theorem-proving mailing list. Everybody is free to join.

See under Links for slides from previous workshops.

Please contact Jasmin Blanchette (firstname.lastname@gmail.com) if you have questions.