Call for Theorem Prover Metadata 30 September 2017

After the transition to jekyll, we statically generate the web site from a central data base of theorem prover metadata; see the following issue for details and discussions.

Now this data base needs to be filled. We are particularly, interested in the authors and the years of active development of the system.

Please help you downloading provers.yml, add information, and either make a pull request or send it by e-mail to Michael Kohlhase.