Theorem Prover Resources

We list other public resources that may give further information

1. the encyclopedia of proof systems collects proof systems that are mechanized by the theorem provers.
2. the Wikipedia page on automated theorem provers contains a list of systems