List of theorem provers

1. REDIRECT Automated_theorem_proving#Comparison

{{r with possibilities}}