Database of Existing Mechanized Reasoning Systems
A list (over 50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.