This page gives a few tips to download, install and/or configure external provers.

Automatic provers

Proof assistants


American